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 suo.ieee.org .
Here are samples of usesage of this language:
(instance The82ndAirborne MilitaryUnit) (subclass Person Animal) (not (occupiesPosition SilvioBerlusconi President Libya))