Relation ANALYTIC-RESOURCE

Arity: 2
Domain: Material-object
Range: Substance
Subrelation-Of: Clinical-actor
Axioms:
(<=> (Analytic-Resource ?A ?B)
     (And (Exists (?C ?D)
                  (And (Analyzed-By ?A ?C)
                       (Performs ?C ?D)
                       (Resource-Of ?B ?D)
                       (Activity ?D)
                       (Substance ?B)))
          (Clinical-Actor ?A ?B)
          (Material-Object ?A)
          (Substance ?B)))