The language description includes both specifications for its syntax and for its semantics. Besides FOPC expressions of facts and knowledge, KIF also supports extra logical expressions such as those for the encoding of knowledge about knowledge and of procedures. Technical Report, Computer Science Department, Stanford University, 1992. 5 syntax and for its semantics. Technical Report, Computer Science Department, Stanford University, 1992.
Formal ontologies define vocabulary with logic.
Syntactically, these languages are roughly equivalent to first order logic in expressiveness, but differ by their focus on inheritance relations. Beliefs in reflective agent oriented systems are primarily represented in extensions to first order predicate calculus. Georgeff, Ingrand, et. Agent pro active behavior is represented in terms of a plan library. 92- 1, Computer Science Department, Stanford University, 1992.