Relation In-Scope-Of-Interest

• Defined in ontology: Enterprise-v0.1

Notes for In-Scope-Of-Interest:

• This was created mainly to assist in defining Influence-Factor, but may have other uses.

Slots on relation In-Scope-Of-Interest:

Arity: 2

Documentation:

A Relationship between an Actor and something whereby the thing is within the scope of interest of the Actor.

Domain: Potential-Actor

Instance-Of: Binary-Relation, Relation, Set

Range: Eo-Entity

Other Related Implication Axioms for In-Scope-Of-Interest:

(=> (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 In-Scope-Of-Interest:

(<=> (Influence-Factor ?Influence-Factor)
     (And (State-Of-Affairs ?Influence-Factor)
          (Exists (?Actor)
                  (And (Known-True ?Actor ?Influence-Factor)
                       (In-Scope-Of-Interest ?Actor
                                             ?Influence-Factor)))))