Relation CARE-METHOD

Arity: 2
Domain: Object
Range: Abstraction
Subrelation-Of: Clinical-actor
Axioms:
(<=> (Care-Method ?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)
                       (Method ?C ?B)))
          (Clinical-Actor ?A ?B)
          (Object ?A)
          (Abstraction ?B)))