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

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

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

Superclass-Of: Critical-Assumption, Non-Critical-Assumption

Instance-Of: Class, Relation, Set

Range-Of: Plan-Assumption, Planning-Assumption

Arity: 1

Documentation: The State-Of-Affairs in an Assumed Relationship with some Actor

---

Slots:

Implication Axioms for Assumption:

(=> (Assumption ?Assumption)
    (Exists (?Actor) (Assumed ?Actor ?Assumption)))

Equivalence Axioms for Assumption:

(<=> (Assumption ?Assumption)
     (And (State-Of-Affairs ?Assumption)
          (Qua-Entity ?Assumption)
          (Exists (?Actor) (Assumed ?Actor ?Assumption))))

Axioms mentioning Assumption:

(Forall (?Sgc-Planning ?Assumption)
        (=> (And (Strategic-Planning ?Sgc-Planning)
                 (Assumption ?Assumption)
                 (Planning-Assumption ?Sgc-Planning ?Assumption))
            (Used-Or-Associated-With ?Assumption ?Sgc-Planning)))