Class Critical-Assumption

• Defined in ontology: Enterprise-v0.1

Notes for Critical-Assumption:

• Issue: Should this be IFF-DEF?

Slots on class Critical-Assumption:

Arity: 1

Documentation: an Assumption that is 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 Critical-Assumption:

Implication Axioms for Critical-Assumption:

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

Other Related Axioms for Critical-Assumption:

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