Class Critical-Assumption

• 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:

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

Instance-Of: Class, Relation, Set

Arity: 1

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

---

Slots:

Implication Axioms for Critical-Assumption:

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

Frame References to Critical-Assumption:

In class Assumption:

Exhaustive-Subclass-Partition: {Critical-Assumption, Non-Critical-Assumption}