Relation TREATMENT-DEVICE

Arity: 2
Domain: Health-condition
Range: Entity
Subrelation-Of: Clinical-actor
Axioms:
(<=> (Treatment-Device ?A ?B)
     (And (Exists (?C)
                  (And (To-Actor-Of ?A ?C)
                       (Clinical-Actor ?A ?C)
                       (Health-Condition ?A)
                       (Activity ?C)
                       (Instrument ?C ?B)))
          (Clinical-Actor ?A ?B)
          (Health-Condition ?A)
          (Entity ?B)))