Theory TOPO-MORPHOLOGY

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

Theory documentation:

Theories included by Topo-Morphology:

  Localization
  Topology

Theories that include Topo-Morphology:

  Anatomy

4 classes defined:

    *Cavity
    *Link
    *Opening
    *Unbound-Structure

32 relations defined:

  3d-Area
  3d-Area-Of
  Abnormally-Attached
  Access-To
  Accessible-Through
  Attached
  Branch
  Branch-Of
  Can-Fill
  Connected-To
  Connects
  Detached
  Fillable-With
  Forms-Sequence
  Has-Abnormally-Attached-Part
  Has-Attached
  Has-Detached-Part
  Hole-In
  Host-Of
  Interconnected-By
  Interconnects
  Sequence-Of
  Tributary
  Tributary-Of
  _Cavity
  _Chain
  _Channel
  _Duct
  _Hole
  _Hollow
  _Host
  _Opening

No functions defined.

No instances defined.

The following constants were used from included theories:

• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Connected defined as a relation in theory Topology
• 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
• Identity defined as a function in theory Kif-Extensions
• Inverse defined as a function in theory Kif-Relations
• Is-Region-Of defined as a relation in theory Localization
• 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
• Region defined as a class in theory Localization
• Reified-Property defined as a class in theory Metaontology
• Relation defined as a class in theory Kif-Relations
• Structuring-Ternary defined as a relation in theory Structuring-Concepts
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• T-Complement defined as a function in theory Topology
• Ternary defined as a class in theory Metaontology
• Topo-Morphological-Property defined as a relation in theory Structuring-Concepts
• Topo-Morphological-Relation defined as a relation in theory Structuring-Concepts
• Value-Cardinality defined as a function in theory Frame-Ontology
• Wholly-Located defined as a relation in theory Localization

The following constants were used from theories not included:

• *Liquid defined as a class in theory Physical-Concepts
• Abstraction defined as a class in theory Top-Level
• Context defined as a class in theory Built-In-Theory
• Context defined as a relation in theory Top-Level
• Element defined as a relation in theory Meronymy
• Element-Of defined as a relation in theory Meronymy
• Entity defined as a class in theory Top-Level
• Localized-Entity defined as a class in theory Top-Level
• Mapping defined as a relation in theory Built-In-Theory
• Material-Object defined as a class in theory Top-Level
• Object defined as a class in theory Top-Level
• Represents defined as a relation in theory Representation
• Strictly-Depends-On defined as a relation in theory Dependence
• The-Archetype defined as a function in theory Built-In-Theory
• True defined as a object in theory Built-In-Theory
• Unexpected defined as a relation in theory Assessment
• _Elongate defined as a relation in theory Quantities

All constants that were mentioned were defined.