Relation Assumed

Instance-Of: Binary-Relation, Relation, Set
Domain: Potential-Actor
Range: State-Of-Affairs
Arity: 2
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))))