Relation CARE-DEVICE

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