Theory LOCALIZATION

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

Theory documentation:

Theories included by Localization:

  Mereology

Theories that include Localization:

  Positions
  Topo-Morphology
  Web-Notions

3 classes defined:

    Region
       Address
       Geographic-Area

21 relations defined:

  Address-Of
  Exact-Location-Of
  Exactly-Located
  Generic-Location-Of
  Generically-Located
  Has-Address
  Is-Region-Of
  Located
  Location-Of
  Overlaps
  Partial-Location-Of
  Partly-Located
  Reference-Location
  Reference-Location-Of
  Same
  Scattered-Location
  Scattered-Location-Of
  Unique-Location
  Unique-Location-Of
  Whole-Location-Of
  Wholly-Located

2 functions defined:

  Region-Of
  Uniquely-Located

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
• 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
• Function defined as a class in theory Kif-Relations
• Identity defined as a function in theory Kif-Extensions
• Inverse defined as a function in theory Kif-Relations
• Inverse-Of-Locative-Relation defined as a relation in theory Structuring-Concepts
• Locative-Relation defined as a relation in theory Structuring-Concepts
• Part defined as a relation in theory Mereology
• Part-Of defined as a relation in theory Mereology
• Proper-Part defined as a relation in theory Mereology
• Proper-Part-Of defined as a relation in theory Mereology
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology

The following constants were used from theories not included:

• Conventional-Within defined as a relation in theory Assessment
• Entity defined as a class in theory Top-Level
• Geography defined as a class in theory Topics
• Localized-Entity defined as a class in theory Top-Level
• Mapping defined as a relation in theory Built-In-Theory
• Social-Object defined as a class in theory Top-Level
• Topography defined as a class in theory Topics

All constants that were mentioned were defined.