Relation EXPLOITED-BY

Arity: 2
Domain: Substance
Range: Object
Subrelation-Of: Pseudo-actor
Axioms:
(<=> (Exploited-By ?A ?B)
     (And (Exists (?C)
                  (And (Resource-Of ?A ?C) (Performed-By ?C ?B)))
          (Pseudo-Actor ?A ?B)
          (Substance ?A)
          (Object ?B)))