Theory EQUALITY

• Last modified: Friday, 15 December 2000
• Source code: Equality.lisp
• List of other known theories

Theory documentation:

Theories included by Equality:

  Frame-Ontology
  Kif-Sets

Theories that include Equality:

  Structuring-Concepts

No classes defined.

4 relations defined:

  Conceptually-Different
  Different
  Equal-But-Localization
  Equal-But-Time

No functions defined.

No instances defined.

The following constants were used from included theories:

• Arity defined as a function in theory Frame-Ontology
• Documentation defined as a relation in theory Frame-Ontology
• Identity defined as a function in theory Kif-Extensions
• Relation defined as a class in theory Kif-Relations
• Subrelation-Of defined as a relation in theory Frame-Ontology

The following constants were used from theories not included:

• Abscissa-Value defined as a function in theory Positions
• Duration-Value defined as a function in theory Unrestricted-Time
• Equality-Relation defined as a relation in theory Structuring-Concepts
• Holds-True-2 defined as a relation in theory Built-In-Theory
• Ordinate-Value defined as a function in theory Positions
• Region-Of defined as a function in theory Localization
• Time-Value defined as a function in theory Unrestricted-Time

All constants that were mentioned were defined.