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.

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.


This document was generated using Ontolingua.
Formatting and translation code was written by
François Gerbaux and Tom Gruber