The Terms Project

Terms is a system for knowledge representation and reasoning. The main thing about Terms is the language in which it expresses knowledge, which is very simple but very expressive, and almost understandable as plain English.