res2ax is a package of scripts to generate axioms in neo-davidsonian first-order logic from existing knowledge resources, such as WordNet and ConceptNet.
res2ax works under Linux or Mac OS X. Before executing res2ax, the following softwares should be installed.
- Python 2.7
- Natural Language Toolkit
Execute following commands:
$ make wn
$ make cn