Relation Hold-Purpose

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