Theory KIF-RELATIONS

• Last modified: Friday, 8 April 1994
• Source code: kif-relations.lisp
• List of other known theories

Theory documentation:

The KIF vocabulary concerning relations and functions.

Cross Reference Report:

Theories included by Kif-Relations:

  Kif-Lists
  Kif-Sets

Theories that include Kif-Relations:

  Frame-Ontology
  Kif-Extensions

10 classes defined:

    Relation
       Function
          One-One
          Many-One
          Unary-Function
          Binary-Function
       Unary-Relation
       Binary-Relation
          One-One
          Many-One
          One-Many
          Many-Many
          Unary-Function

1 relation defined:

  Holds

6 functions defined:

  Apply
  Composition
  Inverse
  Map
  Universe
  Value

1 instance defined:

  Bottom

The following constants were used from included theories:

• Butlast defined as a function in theory Kif-Lists
• Cons defined as a function in theory Kif-Lists
• Double defined as a class in theory Kif-Lists
• Empty defined as a class in theory Kif-Sets
• First defined as a function in theory Kif-Lists
• Item defined as a relation in theory Kif-Lists
• Last defined as a function in theory Kif-Lists
• List defined as a class in theory Kif-Lists
• Member defined as a relation in theory Kif-Sets
• 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
• Single defined as a class in theory Kif-Lists
• Triple defined as a class in theory Kif-Lists

The following constants were used from theories not included:

• 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
• Nth-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
• Undefined defined as a class in theory Kif-Extensions
• Value-Cardinality defined as a function in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology

All constants that were mentioned were defined.