Class ACT-STAGE

An act stage is an act that constitutes a phase of a procedure.
Subclass-Of: Stage
The-Archetype: Reified-property
Axioms:
(=> (Act-Stage ?Self)
    (And (Exists (?A)
                 (And (Temporal-Part-Of ?Self ?A) (Procedure ?A)))
         (Exists (?B)
                 (And (Method ?Self ?B)
                      (Or (Sequential-Plan ?B) (Cyclical-Plan ?B))))))