Class PROCEDURE

Subclass-Of: Activity

Axioms:

(=> (Procedure ?Self)
    (Minimum-Slot-Cardinality ?Self Constitutive-Phase 1))

• Defined in theory: Top-level
• Source code: Top-Level.lisp