Theory LAYERS

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

Theory documentation:

Theories included by Layers:

  Dependence
  Structuring-Concepts

Theories that include Layers:

  Granularity
  Top-Level

No classes defined.

16 relations defined:

  Coarser-Granularity
  Finer-Granularity
  Same-Granularity
  _Abstract
  _Animate
  _Atomic
  _Biologic
  _Cellular
  _Homeostatic
  _Macroscopic
  _Material
  _Molar
  _Molecular
  _Psychologic
  _Social
  _Subatomic

1 function defined:

  The-Finer-Granularity

No instances defined.

The following constants were used from included theories:

• Arity defined as a function in theory Frame-Ontology
• Conceptually-Depends-On defined as a relation in theory Dependence
• Documentation defined as a relation in theory Frame-Ontology
• Function defined as a class in theory Kif-Relations
• Granularity-Relation defined as a relation in theory Structuring-Concepts
• Identity defined as a function in theory Kif-Extensions
• Inverse defined as a function in theory Kif-Relations
• Layer defined as a relation in theory Structuring-Concepts
• Nth-Domain defined as a relation in theory Frame-Ontology
• 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.