Theory TOPOLOGY

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

Theory documentation:

Theories included by Topology:

  Mereology

Theories that include Topology:

  Meronymy
  Positions
  Topo-Morphology

No classes defined.

24 relations defined:

  Connected
  Externally-Connected
  Interior-Of
  Intermediate-Contact
  Is-Boundary-Of
  Is-Neighborhood-Of
  Is-T-Complement-Of
  Non-True-Part
  Non-True-Part-Of
  Topological-Overlaps
  Topological-Part
  Topological-Part-Of
  Topological-Proper-Part-Of
  Touched-By
  Touches
  True-Part
  True-Part-Of
  Weak-Contact
  _Closed
  _Concentrated
  _Distributed
  _Open
  _Self-Connected
  _Whole

4 functions defined:

  Boundary
  Interior
  Neighborhood
  T-Complement

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
• Common-Part defined as a relation in theory Mereology
• 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
• Mereo-Sum defined as a function in theory Mereology
• Part defined as a relation in theory Mereology
• Part-Of defined as a relation in theory Mereology
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Topological-Property defined as a relation in theory Structuring-Concepts
• Topological-Relation defined as a relation in theory Structuring-Concepts

The following constants were used from theories not included:

• Entity defined as a class in theory Top-Level
• Localized-Entity defined as a class in theory Top-Level
• Material-Object defined as a class in theory Top-Level
• Object defined as a class in theory Top-Level
• Region defined as a class in theory Localization

All constants that were mentioned were defined.