Theory KIF-EXTENSIONS

• Last modified: Sunday, 3 July 1994
• Source code: kif-extensions.lisp
• List of other 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

6 classes defined:

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

No relations defined.

4 functions defined:

  Cardinality
  Identity
  List-To-Set
  Second-Item

No instances defined.

The following constants were used from included theories:

• > defined as a relation in theory Kif-Numbers
• >= defined as a relation in theory Kif-Numbers
• Bottom defined as a object in theory Kif-Relations
• First defined as a function in theory Kif-Lists
• Function defined as a class in theory Kif-Relations
• Integer defined as a class in theory Kif-Numbers
• Item defined as a relation in theory Kif-Lists
• Length defined as a function in theory Kif-Lists
• List defined as a class in theory Kif-Lists
• Null defined as a class in theory Kif-Lists
• Rest defined as a function in theory Kif-Lists
• Set defined as a class in theory Kif-Sets

The following constants were used from theories not included:

• All-Instances defined as a function in theory Frame-Ontology
• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Range defined as a relation in theory Frame-Ontology
• Subclass-Of defined as a relation in theory Frame-Ontology

All constants that were mentioned were defined.