Class CASE-STAGE

Subclass-Of: Planning-stage

Axioms:

(=> (Case-Stage ?Self)
    (And (Exists (?A)
                 (And (Meets ?Self ?A)
                      (Stage ?A)
                      (Forall (?B)
                              (=> (Dependently-Co-Exist ?A ?B)
                                  (Incoherent ?B)))))
         (Exists (?C) (And (Method ?Self ?C) (Case-Plan ?C)))))

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