Relation INTERPRETED-BY

Arity: 2

Domain: Entity

Range: *agent

Subrelation-Of: Inverse-of-representation-relation

Axioms:

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

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