Theory MERONYMY

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

Theory documentation:

Theories included by Meronymy:

  Top-Level
  Topology

Theories that include Meronymy:

  Anatomy
  Planning
  Substances

5 classes defined:

    *Atomic-Whole
    *Distributed-Whole
    *Integral-Whole
    *Mass
    *Scattered-Whole

41 relations defined:

  Component
  Component-Of
  Consists-Of
  Constituent-Material
  Constituent-Material-Of
  Constitutes
  Constitutive-Phase
  Constitutive-Phase-Of
  Directional-Part
  Directional-Part-Of
  Element
  Element-Of
  Finer-Grain-Component
  Finer-Grain-Component-Of
  Finer-Grain-Part
  Finer-Grain-Part-Of
  Mereological-Member
  Mereological-Member-Of
  Piece
  Piece-Of
  Portion
  Portion-Of
  Positional-Part
  Positional-Part-Of
  Prime-Component
  Prime-Component-Of
  Sample-Of
  Sample-Source
  Segment
  Segment-Of
  Shelf-Part
  Shelf-Part-Of
  Temporal-Part
  Temporal-Part-Of
  _Collection
  _Complex
  _Configuration
  _Homogeneous
  _Mass
  _System
  _Weak-Whole

No functions defined.

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
• Class defined as a class in theory Frame-Ontology
• Coarser-Granularity defined as a relation in theory Layers
• 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
• Entity defined as a class in theory Top-Level
• Equal-But-Localization defined as a relation in theory Equality
• Finer-Granularity defined as a relation in theory Layers
• Identity defined as a function in theory Kif-Extensions
• Instance-Of defined as a relation in theory Frame-Ontology
• Inverse defined as a function in theory Kif-Relations
• Localized-Entity defined as a class in theory Top-Level
• Material-Object defined as a class in theory Top-Level
• Mereological-Property defined as a relation in theory Structuring-Concepts
• Object defined as a class in theory Top-Level
• Part-Of defined as a relation in theory Mereology
• Position-Relation defined as a relation in theory Structuring-Concepts
• Range defined as a relation in theory Frame-Ontology
• Reified-Property defined as a class in theory Metaontology
• Relation defined as a class in theory Kif-Relations
• Social-Object defined as a class in theory Top-Level
• Strictly-Necessary-To defined as a relation in theory Dependence
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Substance defined as a class in theory Top-Level
• Temporalized-Entity defined as a class in theory Top-Level
• Value-Cardinality defined as a function in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology
• _Atom defined as a relation in theory Mereology
• _Distributed defined as a relation in theory Topology

The following constants were used from theories not included:

• Absent-In defined as a relation in theory Assessment
• Concept defined as a class in theory Built-In-Theory
• Incoherent defined as a class in theory Built-In-Theory
• The-Archetype defined as a function in theory Built-In-Theory
• True defined as a object in theory Built-In-Theory
• _Integral defined as a relation in theory Assessment

All constants that were mentioned were defined.