README.md

Formalize

translates NL to Logic

System to translate NL to logic. Currently based on OpenCyc, Wordnet, Ted Pedersen's WSD modules, etc. May possibly add Alvis to the chain. Converts NL to Logic Form using Enju.

http://frdcsa.org/frdcsa/internal/formalize