Theory PROCEDURES

• Last modified: Sunday, 24 December 2000
• Source code: Procedures.lisp
• List of other known theories

Theory documentation:

Theories included by Procedures:

  Planning

Theories that include Procedures:

  Medical-Procedures

11 classes defined:

    *Phase
       *Event
       *State
    Information-Gathering
    Stage
       Act-Stage
          Information-Stage
       Planning-Stage
          Case-Stage
          Concurrent-Stage
          Partly-Concurrent-Stage

12 relations defined:

  Following-Phase-Of
  Preceding-Phase-Of
  Procedural-Property
  _Abandoned
  _Aborted-Procedure
  _Activated
  _Completed
  _Reactivated
  _Ready
  _Recorded
  _Reserved
  _Suspended

No functions defined.

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
• Beginpoint defined as a function in theory Unrestricted-Time
• Branching-Plan defined as a class in theory Planning
• Case-Plan defined as a class in theory Planning
• Class defined as a class in theory Frame-Ontology
• Co-Occur defined as a relation in theory Unrestricted-Time
• Concurrent-Plan defined as a class in theory Planning
• Context-Of defined as a relation in theory Top-Level
• Conventional-Goal defined as a relation in theory Representation
• Cyclical-Plan defined as a class in theory Planning
• Dependently-Co-Exist defined as a relation in theory Unrestricted-Time
• Different defined as a relation in theory Equality
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Duration-Value defined as a function in theory Unrestricted-Time
• Endpoint defined as a function in theory Unrestricted-Time
• Equal-But-Time defined as a relation in theory Equality
• Follows defined as a relation in theory Unrestricted-Time
• Identity defined as a function in theory Kif-Extensions
• Interval defined as a class in theory Top-Level
• Meets defined as a relation in theory Unrestricted-Time
• Method defined as a relation in theory Actors
• Minimum-Slot-Cardinality defined as a relation in theory Frame-Ontology
• Partly-Concurrent-Plan defined as a class in theory Planning
• Precedes defined as a relation in theory Unrestricted-Time
• Procedure defined as a class in theory Top-Level
• Process defined as a class in theory Top-Level
• 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
• Sequential-Plan defined as a class in theory Planning
• Situation defined as a class in theory Top-Level
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Synchro-Plan defined as a class in theory Planning
• Temporal-Part defined as a relation in theory Meronymy
• Temporal-Part-Of defined as a relation in theory Meronymy
• Temporalized-Entity defined as a class in theory Top-Level
• Time-Value defined as a function in theory Unrestricted-Time
• Typicality-Property defined as a relation in theory Structuring-Concepts

The following constants were used from theories not included:

• Boolean defined as a class in theory Built-In-Theory
• Holds-At defined as a relation 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
• The-Time-Unit defined as a function in theory Units

All constants that were mentioned were defined.