Theory KIF-EXTENSIONS

• Last modified: Wednesday, 5 October 1994
• Source code: kif-extensions.lisp
• List of all known theories

Theory documentation:

Definitions that extend KIF in obvious places.

Cross Reference Report:

Theories included by Kif-Extensions:

  Kif-Lists
  Kif-Numbers
  Kif-Relations
  Kif-Sets

Theories that include Kif-Extensions:

  Frame-Ontology

7 classes defined:

    Defined
    Finite-Set
    Non-Negative-Integer
    Positive-Integer
    String
    Symbol
    Undefined

No relations defined.

4 functions defined:

  Cardinality
  Identity
  List-To-Set
  Second-Item

No instances defined.

7 classes defined:

  Defined
  Finite-Set
  Non-Negative-Integer
  Positive-Integer
  String
  Symbol
  Undefined

All constants that were mentioned were defined.