Class Influence-Factor

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Subclass-Of: State-Of-Affairs

Superclass-Of: Critical-Influence-Factor, Non-Critical-Influence-Factor

Instance-Of: Class, Relation, Set

Arity: 1

Documentation:

a State-Of-Affairs Known-True by an Actor which is In-Scope-Of-Interest of that Actor

---

Slots:

Implication Axioms for Influence-Factor:

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

Equivalence Axioms for Influence-Factor:

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

Implication Axioms mentioning Influence-Factor:

(=> (Critical-Influence-Factor ?Critical-Influence-Factor)
    (Influence-Factor ?Critical-Influence-Factor))

(=> (Non-Critical-Influence-Factor ?Non-Critical-Influence-Factor)
    (Influence-Factor ?Non-Critical-Influence-Factor))

Equivalence Axioms mentioning Influence-Factor:

(<=> (Critical-Influence-Factor ?Critical-Influence-Factor)
     (And (Influence-Factor ?Critical-Influence-Factor)
          (Exists 
              (?Strategic-Planning)
              (And (Strategic-Planning ?Strategic-Planning)
                   (Used-Or-Associated-With ?Critical-Influence-Factor
                                            ?Strategic-Planning)))))

(<=> (Non-Critical-Influence-Factor ?Non-Critical-Influence-Factor)
     (And (Influence-Factor ?Non-Critical-Influence-Factor)
          (Not (Exists 
                   (?Strategic-Planning)
                   (And (Strategic-Planning ?Strategic-Planning)
                        (Used-Or-Associated-With 
                            ?Non-Critical-Influence-Factor
                            ?Strategic-Planning))))))