Theory KIF-RELATIONS

• Last modified: Friday, 8 April 1994
• Source code: kif-relations.lisp
• List of all 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
       Binary-Relation
          Many-Many
          Many-One
          One-Many
          One-One
          Unary-Function
       Function
          Binary-Function
          Many-One
          One-One
          Unary-Function
       Unary-Relation

1 relation defined:

  Holds

6 functions defined:

  Apply
  Composition
  Inverse
  Map
  Universe
  Value

1 instance defined:

  Bottom

10 classes defined:

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

All constants that were mentioned were defined.