Relation Holds-Stake-In

• 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

Range: Organisational-Unit

Arity: 2

Documentation:

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