Relation Holds-Stake-In

Instance-Of: Binary-Relation, Relation, Set
Range: Organisational-Unit
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.

Implication Axioms for Holds-Stake-In:

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

Axioms for Holds-Stake-In:

(Or (Legal-Entity ?Stakeholder) (Organisational-Unit ?Stakeholder))

Implication Axioms mentioning Holds-Stake-In:

(=> (Stakeholder ?Stakeholder)
    (Exists (?Organisational-Unit)
            (Holds-Stake-In ?Stakeholder ?Organisational-Unit)))

Equivalence Axioms mentioning Holds-Stake-In:

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