Instance
False
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.