> Would anyone be able to send me an example of an ontology, written in either > KIF or CG, or at least a portion of one?
Our Ontolingua system includes an extensive ontology library. The
underlying representation language for these ontologies is KIF. The
library is accessible from the Web at http://ontolingua.stanford.edu.