Theory MORPHOLOGY

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

Theory documentation:

Theories included by Morphology:

  Top-Level

Theories that include Morphology:

  Abnormalities

No classes defined.

14 relations defined:

  Is-Morphology-Of
  Is-Shape-Of
  Is-Spatial-Abnormality-Of
  Is-Texture-Of
  Morphology
  Shape
  Shape-Property
  Spatial-Abnormality
  Spatial-Abnormality-Property
  Texture
  Texture-Property
  _Heteromerous
  _Homeomerous
  _List

No functions defined.

No instances defined.

The following constants were used from included theories:

• Arity defined as a function in theory Frame-Ontology
• Conceptually-Different defined as a relation in theory Equality
• Domain defined as a relation in theory Frame-Ontology
• Material-Object defined as a class in theory Top-Level
• Morphological-Property defined as a relation in theory Structuring-Concepts
• Relation defined as a class in theory Kif-Relations
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Substance defined as a class in theory Top-Level

The following constants were used from theories not included:

• Constituent-Material-Of defined as a relation in theory Meronymy

All constants that were mentioned were defined.