Relation Known-True


Notes for Known-True:


Slots on relation Known-True:

Arity: 2
Documentation:
A Relationship between an Actor and a State-Of-Affairs whereby the Actor knows the State-Of-Affairs to be true.
Domain: Potential-Actor
Instance-Of: Binary-Relation, Relation, Set
Range: State-Of-Affairs

Other Related Implication Axioms for Known-True:

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

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


Other Related Equivalence Axioms for Known-True:

(<=> (Influence-Factor ?Influence-Factor)
     (And (State-Of-Affairs ?Influence-Factor)
          (Exists (?Actor)
                  (And (Known-True ?Actor ?Influence-Factor)
                       (In-Scope-Of-Interest ?Actor
                                             ?Influence-Factor)))))