Relation Holds-Stake-In

Notes for Holds-Stake-In:

Slots on relation Holds-Stake-In:

Arity: 2
A Relationship between an Actor and a Organisational-Unit whereby one or more Purpose s of the Organisational-Unit are included In-Scope-Of-Interest of the Actor. The Actor must be either a Legal-Entity or an Organisational-Unit.
Instance-Of: Binary-Relation, Relation, Set
Range: Organisational-Unit

Other Related Implication Axioms for Holds-Stake-In:

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

Other Related Equivalence Axioms for Holds-Stake-In:

(<=> (Stakeholder ?Stakeholder)
     (And (Actor ?Stakeholder)
          (Or (Legal-Entity ?Stakeholder)
              (Organisational-Unit ?Stakeholder))
          (Exists (?Organisational-Unit)
                  (And (Organisational-Unit ?Organisational-Unit)
                       (Holds-Stake-In ?Stakeholder