Class Non-Critical-Influence-Factor


Slots on class Non-Critical-Influence-Factor:

Arity: 1
Documentation:
an Influence-Factor that is *not* associated with or used in Strategic-Planning
Instance-Of: Class, Relation, Set
Subclass-Of: Influence-Factor, State-Of-Affairs


Slots on instances of Non-Critical-Influence-Factor:


Implication Axioms for Non-Critical-Influence-Factor:

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


Equivalence Axioms for Non-Critical-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))))))