Thinknowlogy
Automated reasoning system,
demonstrating the natural logic of
language. Open source software.
Other languages: English, Spanish, French, and Dutch.
Selecting the Chinese language in Thinknowlogy: Click <change language>, click 中文, and click 重启.
