Relation In-Scope-Of-Interest

• 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: Eo-Entity

Arity: 2

Documentation:

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

Implication Axioms mentioning In-Scope-Of-Interest:

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

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

Equivalence Axioms mentioning 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)))))