Class Non-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 not associated with or used in Strategic-Planning.

---

Slots:

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

Frame References to Non-Critical-Assumption:

In class Assumption:

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