Thinknowlogy
Automated reasoning system,
demonstrating the natural logic of
language. Open source software.
Other languages: English, French, Dutch, and Chinese.
Selecting the Spanish language in Thinknowlogy: Click <change language>, click Español, and click Reiniciar.
