Relation TREATMENT-DEVICE-OF

The relation for 'treats' when artifacts used for treatment are the domain.
Arity: 2
Subrelation-Of: Clinical-actor-of
Axioms:
(<=> (Treatment-Device-Of ?A ?B)
     (And (Clinical-Actor-Of ?A ?B)
          (Exists (?C)
                  (And (Instrument-Of ?A ?C)
                       (Treatment-Action-Of ?C ?B)))))