Theory KIF-ONTOLOGY

The ontology of KIF vocabulary defined in the KIF 3.0 specification. It consists of the union of other theories corresponding the chapters in specification document.

• Last modified: Monday, 13 December 1993
• Source code: kif-ontology.lisp
• List of other known theories

Theories included by Kif-Ontology:

    Kif-Sets
    Kif-Lists
       Kif-Numbers
    Kif-Numbers
    Kif-Relations
       Kif-Sets
       Kif-Lists ...
    Kif-Meta
       Kif-Sets
       Kif-Lists ...

No theories include Kif-Ontology.

No classes defined.

No relations defined.

No functions defined.

No instances defined.

All constants that were mentioned were defined.