Instance True

• Defined in ontology: Kif-sets
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-sets.lisp

Documentation@Ol%Frame-Ontology: A primitive logical constant in KIF. Defined on p. 16 of version 3.0.