Theory UNRESTRICTED-TIME

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

Theory documentation:

Theories included by Unrestricted-Time:

  Mereology
  Top-Level

Theories that include Unrestricted-Time:

  Planning

3 classes defined:

    Date-Value-Filler
    Platform
    Present

26 relations defined:

  Antedates
  Co-Exist
  Co-Occur
  Dependently-Antedates
  Dependently-Co-Exist
  Dependently-Postdates
  During
  Finished-By
  Finishes
  Follows
  Is-Beginpoint-Of
  Is-Duration-Value-Of
  Is-Endpoint-Of
  Is-Time-Value-Of
  Meets
  Met-By
  Postdates
  Precedes
  Started-By
  Starts
  T-Overlaps
  Temporally-Contains
  _Cyclic
  _Intermittent
  _Pointillistic
  _Random-Intermittent

4 functions defined:

  Beginpoint
  Duration-Value
  Endpoint
  Time-Value

No instances defined.

The following constants were used from included theories:

• < defined as a relation in theory Kif-Numbers
• Activity defined as a class in theory Top-Level
• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• 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
• Function defined as a class in theory Kif-Relations
• Has-Existence defined as a relation in theory Dependence
• Identity defined as a function in theory Kif-Extensions
• Inverse defined as a function in theory Kif-Relations
• Number defined as a class in theory Kif-Numbers
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Strictly-Depends-On defined as a relation in theory Dependence
• 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
• Temporal-Relation defined as a relation in theory Structuring-Concepts
• Temporalized-Entity defined as a class in theory Top-Level
• Time-Function defined as a function in theory Structuring-Concepts
• Time-Span defined as a class in theory Top-Level
• Value defined as a function in theory Structuring-Concepts
• Value defined as a function in theory Kif-Relations

The following constants were used from theories not included:

• Begins-At defined as a relation in theory Built-In-Theory
• Located defined as a relation in theory Localization
• Narrative defined as a class in theory Representation
• Numeric-Value defined as a function in theory Quantities
• Region defined as a class in theory Localization
• Represented-By defined as a relation in theory Representation
• Temporal-Part-Of defined as a relation in theory Meronymy
• The-Time-Unit defined as a function in theory Units
• Time-Unit defined as a class in theory Units
• True defined as a object in theory Built-In-Theory
• Value-Filler defined as a class in theory Quantities

All constants that were mentioned were defined.