Theory POSITIONS

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

Theory documentation:

Theories included by Positions:

  Localization
  Quantities
  Topology

Theories that include Positions:

  Anatomy

No classes defined.

33 relations defined:

  Above
  Adjacent-To
  Along
  Approached-By
  Behind
  Below
  Between
  Contains
  Crossed-Over-By
  Crossed-Through-By
  Crosses-Over
  Crosses-Through
  Everywhere-Within
  Faced-By
  Front-Of
  Has-Everywhere-Inside
  Has-Somewhere-Inside
  Is-Abscissa-Value-Of
  Is-Ordinate-Value-Of
  Is-Spatial-Value-Of
  Left-Of
  Near
  On
  Right-Of
  Somewhere-Within
  Spatial-Coordinates
  Surrounded-By
  Surrounds
  Topologically-Near
  Traversed-By
  Traverses
  Under
  Within

3 functions defined:

  Abscissa-Value
  Ordinate-Value
  Spatial-Value

No instances defined.

The following constants were used from included theories:

• < defined as a relation in theory Kif-Numbers
• Arity defined as a function in theory Frame-Ontology
• Connected defined as a relation in theory Topology
• Diameter defined as a function in theory Quantities
• Different defined as a relation in theory Equality
• Distance defined as a function in theory Quantities
• 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
• Generically-Located defined as a relation in theory Localization
• Identity defined as a function in theory Kif-Extensions
• Interior defined as a function in theory Topology
• Interior-Of defined as a relation in theory Topology
• Inverse defined as a function in theory Kif-Relations
• Is-Neighborhood-Of defined as a relation in theory Topology
• Is-Region-Of defined as a relation in theory Localization
• Localized-Entity defined as a class in theory Top-Level
• Neighborhood defined as a function in theory Topology
• Numeric-Value defined as a function in theory Quantities
• Overlaps defined as a relation in theory Localization
• Part-Of defined as a relation in theory Mereology
• Position-Relation defined as a relation in theory Structuring-Concepts
• Position-Ternary defined as a relation in theory Structuring-Concepts
• Range defined as a relation in theory Frame-Ontology
• Region-Of defined as a function in theory Localization
• Relation defined as a class in theory Kif-Relations
• Same-Granularity defined as a relation in theory Layers
• Spatial-Unit defined as a class in theory Units
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Substance defined as a class in theory Top-Level
• The-Finer-Granularity defined as a function in theory Layers
• The-Smaller defined as a function in theory Quantities
• The-Spatial-Unit defined as a function in theory Units
• Touches defined as a relation in theory Topology
• Weak-Contact defined as a relation in theory Topology
• Whole-Location-Of defined as a relation in theory Localization
• Wholly-Located defined as a relation in theory Localization

The following constants were used from theories not included:

• Mapping defined as a relation in theory Built-In-Theory

All constants that were mentioned were defined.