Relation EVALUATED-BY

Arity: 2

Domain: Entity

Range: *agent

Subrelation-Of: Inverse-of-representation-relation

Axioms:

(<=> (Evaluated-By ?A ?B)
     (And (Exists (?C)
                  (And (Judgment ?A ?C)
                       (Exists 
                           (?D)
                           (And (Interpretant ?C ?D)
                                (Exists (?E)
                                        (And (Instrument-Of ?D ?E)
                                             (Performed-By ?E ?B)))
                                (Entity ?D)
                                (Object ?B)
                                (Inverse-Of-Representation-Relation ?D
                                                                    ?B)
                                (Information ?D)
                                (*Agent ?B)))
                       (Inverse-Of-Representation-Relation ?C ?B)
                       (Entity ?C)
                       (*Agent ?B)))
          (Inverse-Of-Representation-Relation ?A ?B)
          (Entity ?A)
          (*Agent ?B)))

• Defined in theory: Representation
• Source code: Representation.lisp