Relation Help-Achieve

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Instance-Of: Binary-Relation, Relation, Set

Domain: State-Of-Affairs

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.

Implication Axioms mentioning Help-Achieve:

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

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

Equivalence Axioms mentioning 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)))))

Axioms mentioning Help-Achieve:

(Forall (?Purpose ?Sgc-Purpose)
        (=> (And (Strategic-Purpose ?Sgc-Purpose)
                 (Help-Achieve ?Sgc-Purpose ?Purpose))
            (Strategic-Purpose ?Purpose)))