Relation Hold-Purpose

Instance-Of: Binary-Relation, Relation, Set
Domain: Potential-Actor
Range: State-Of-Affairs
Arity: 2
Documentation:
a Relationship between an Actor and a State-Of-Affairs Affairs whereby the Actor wants, intends, or is responsible for the full or partial achievement of the State-Of-Affairs;

Implication Axioms mentioning Hold-Purpose:

(=> (Purpose ?Purpose)
    (Or (Exists (?Plan) (Intended-Purpose ?Plan ?Purpose))
        (Exists (?Actor) (Hold-Purpose ?Actor ?Purpose))))

(=> (Purpose-Holder ?Purpose-Holder)
    (Exists (?Purpose) (Hold-Purpose ?Purpose-Holder ?Purpose)))

(=> (Strategic-Purpose ?Strategic-Purpose)
    (Exists (?Actor) (Hold-Purpose ?Actor ?Strategic-Purpose)))

(=> (Holds-Stake-In ?Stakeholder ?Organisational-Unit)
    (Exists (?Purpose)
            (And (Hold-Purpose ?Organisational-Unit ?Purpose)
                 (In-Scope-Of-Interest ?Stakeholder ?Purpose))))


Equivalence Axioms mentioning Hold-Purpose:

(<=> (Purpose ?Purpose)
     (And (State-Of-Affairs ?Purpose)
          (Qua-Entity ?Purpose)
          (Or (Exists (?Plan) (Intended-Purpose ?Plan ?Purpose))
              (Exists (?Actor) (Hold-Purpose ?Actor ?Purpose)))))

(<=> (Purpose-Holder ?Purpose-Holder)
     (And (Actor ?Purpose-Holder)
          (Exists (?Purpose) (Hold-Purpose ?Purpose-Holder ?Purpose))))