Class Non-Critical-Assumption

• Defined in ontology: Enterprise-v0.1

Notes for Non-Critical-Assumption:

• Issue: Should this be IFF-DEF?

Slots on class Non-Critical-Assumption:

Arity: 1

Documentation: an Assumption that is not associated with or used in Strategic-Planning.

Instance-Of: Class, Relation, Set

Subclass-Of: Assumption, Eo-Entity, Individual-Thing, Qua-Entity, State-Of-Affairs ...

---

Slots on instances of Non-Critical-Assumption:

Implication Axioms for Non-Critical-Assumption:

(=> (Non-Critical-Assumption ?Non-Critical-Assumption)
    (Not (Exists (?Strategic-Planning)
                 (And (Strategic-Planning ?Strategic-Planning)
                      (Planning-Assumption ?Strategic-Planning
                                           ?Non-Critical-Assumption)))))

Other Related Axioms for Non-Critical-Assumption:

(Exhaustive-Subclass-Partition Assumption
                               (Setof Critical-Assumption
                                      Non-Critical-Assumption))