Class CONCURRENT-STAGE

Subclass-Of: Planning-stage

Axioms:

(=> (Concurrent-Stage ?Self)
    (And (Minimum-Slot-Cardinality ?Self Meets 2)
         (Exists (?A) (And (Method ?Self ?A) (Concurrent-Plan ?A)))))

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