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.
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.
All constants that were mentioned were defined.