Class Non-Critical-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: Influence-Factor, State-Of-Affairs

Instance-Of: Class, Relation, Set

Arity: 1

Documentation: an Influence-Factor that is *not* associated with or used in Strategic-Planning

---

Slots:

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