links

CYC

http://www.cyc.com/

http://cyc.com/cyc/opencyc

http://en.wikipedia.org/wiki/Cyc

FrameNet

http://framenet.icsi.berkeley.edu/

http://spraakbanken.gu.se/swe/swefn

PropBank

http://verbs.colorado.edu/~mpalmer/projects/ace.html

http://verbs.colorado.edu/

http://nltk.sourceforge.net/corpus.html (section 1.8)

RTE systems

Useful pages about RTE

RTE challenge for 2011 (with links to past challenges)

ACL resource pool

Nutcracker

Web demos

EDITS

VENSES

WordNet

http://wordnet.princeton.edu/

http://nltk.googlecode.com/svn/trunk/doc/howto/wordnet.html