Class Influence-Factor


Notes for Influence-Factor:


Slots on class Influence-Factor:

Arity: 1
Documentation:
a State-Of-Affairs known to be true which is within the Scope-Of-Interest of an Actor
Instance-Of: Class, Relation, Set
Subclass-Of: State-Of-Affairs
Superclass-Of: Critical-Influence-Factor, Non-Critical-Influence-Factor


Slots on instances of Influence-Factor:


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


Other Related Equivalence Axioms for Influence-Factor:

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

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