Relation Help-Achieve

• Defined in ontology: Enterprise-v0.1

Notes for Help-Achieve:

• The Help-Achieve Relationship is particularly important when both State-of-Affairs are Purposes. In this case, the Help-Achieve Relationship may define a directed acyclic network of Purpose nodes which gives rise to a notion of higher- and lower-level Purposes.
• Users of the Ontology may wish to constrain the meaning of Help-Achieve more precisely, or even define more than one flavour. It is deliberate that the Ontology permits this while providing a basic structure that can be shared.

Slots on relation Help-Achieve:

Arity: 2

Documentation:

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)))))