Class STAGE

A stage is a distinct phase of a procedure.

Subclass-Of: Activity

The-Archetype: Reified-property

Axioms:

(=> (Stage ?Self)
    (Exists (?A) (And (Temporal-Part-Of ?Self ?A) (Procedure ?A))))

• Defined in theory: Procedures
• Source code: Procedures.lisp