Relation Assumed

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Instance-Of: Binary-Relation, Relation, Set

Domain: Potential-Actor

Range: State-Of-Affairs

Arity: 2

Documentation:

A Relationship between an Actor and a State-of-Affairs whereby the Actor takes the State Of Affairs to be true without knowing whether it is true or not.

Implication Axioms for Assumed:

(=> (Assumed ?Actor ?Soa) (Not (Known-True ?Actor ?Soa)))

Implication Axioms mentioning Assumed:

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

(=> (Known-True ?Actor ?State-Of-Affairs)
    (Not (Assumed ?Actor ?State-Of-Affairs)))

(=> (Planning-Assumption ?Planning ?Assumption)
    (Exists (?Doer)
            (And (Actor ?Doer)
                 (Actually-Execute ?Doer ?Planning)
                 (Assumed ?Doer ?Assumption))))

Equivalence Axioms mentioning Assumed:

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