formalize. System to translate NL to logic. Currently based on OpenCyc, Wordnet, Ted Pedersen's WSD modules, Enju, etc.

github.com/aindilis/formalize
by @aindilis

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.