Relation Known-True

• 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 knows the State-Of-Affairs to be true.

Implication Axioms for Known-True:

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

Implication Axioms mentioning Known-True:

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

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

Equivalence Axioms mentioning 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)))))