ortant part.  KIF and
CGs have no built-in ontology, but most common CG applications
have a distinct bias toward the ontology that I presented in
Appendix B of my 1984 book.  The same is true of most other
languages, and many of them fail to identity what is part of
the notation, what is part of the common applications, and
what is optional. 

&gt;It is certainly true that the XTM (the XML topic map notation) 1.0
&gt;specification does not contain a formal mapping to FOL.  There are moves
&gt;afoot however 