Relation Help-Achieve

Notes for Help-Achieve:

Slots on relation Help-Achieve:

Arity: 2
a Relationship between two States Of Affairs whereby one State Of Affairs contributes to or facilitates the Achievement of the other State Of Affairs.
Domain: State-Of-Affairs
Instance-Of: Binary-Relation, Relation, Set

Other Related Implication Axioms for Help-Achieve:

(=> (Critical-Success-Factor ?Csf)
    (And (Exists (?Actor) (Intended-Purpose ?Actor ?Csf))
         (Exists (?Strategic-Purpose)
                 (And (Strategic-Purpose ?Strategic-Purpose)
                      (Help-Achieve ?Csf ?Strategic-Purpose)))))

Other Related Equivalence Axioms for Help-Achieve:

(<=> (Sub-Plan-Of ?Sub-Plan ?Plan)
     (And (Plan ?Plan)
          (Plan ?Sub-Plan)
          (Exists (?Purpose ?Sub-Purpose)
                  (And (Intended-Purpose ?Plan ?Purpose)
                       (Intended-Purpose ?Sub-Plan ?Sub-Purpose)
                       (Help-Achieve ?Sub-Purpose ?Purpose)))))