Relation PROCESSED-BY

Arity: 2
Domain: Entity, Information
Range: *agent, Object
Subrelation-Of: Inverse-of-representation-relation
Axioms:
(<=> (Processed-By ?A ?B)
     (And (Exists (?C)
                  (And (Instrument-Of ?A ?C) (Performed-By ?C ?B)))
          (Entity ?A)
          (Object ?B)
          (Inverse-Of-Representation-Relation ?A ?B)
          (Information ?A)
          (*Agent ?B)))