Theory MEREOLOGY

• Last modified: Saturday, 23 December 2000
• Source code: Mereology.lisp
• List of other known theories

Theory documentation:

Theories included by Mereology:

  Structuring-Concepts

Theories that include Mereology:

  Localization
  Topology
  Unrestricted-Time

No classes defined.

12 relations defined:

  Common-Part
  Mereo-Disjoint
  Mereo-Union
  Part
  Part-Of
  Part-Overlaps
  Proper-Part
  Proper-Part-Of
  _Atom
  _Continuous
  _Discrete
  _Lumpy

2 functions defined:

  Mereo-Sum
  Remainder

No instances defined.

The following constants were used from included theories:

• Alias defined as a relation in theory Frame-Ontology
• Arity defined as a function in theory Frame-Ontology
• Different defined as a relation in theory Equality
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Function defined as a class in theory Kif-Relations
• Identity defined as a function in theory Kif-Extensions
• Inverse defined as a function in theory Kif-Relations
• Mereological-Property defined as a relation in theory Structuring-Concepts
• Mereological-Relation defined as a relation in theory Structuring-Concepts
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Structuring-Ternary defined as a relation in theory Structuring-Concepts
• Subrelation-Of defined as a relation in theory Frame-Ontology

The following constants were used from theories not included:

• Entity defined as a class in theory Top-Level
• True defined as a object in theory Built-In-Theory

All constants that were mentioned were defined.