SUO-KIF is a Standard Upper Ontology Knowledge Interchange Format.  Adam Pease wrote month ago document, which describes this language. There is also work group at .

Here are samples of usesage of this language:

(instance The82ndAirborne MilitaryUnit)
(subclass Person Animal)
(occupiesPosition SilvioBerlusconi President Libya))
This entry was posted in workday. Bookmark the permalink.

Leave a Reply