Relation CARE-ACTION-OF

Arity: 2

Range: Object

Subrelation-Of: Clinical-actor-of

Axioms:

(<=> (Care-Action-Of ?A ?B)
     (And (Clinical-Actor-Of ?A ?B)
          (Exists (?C)
                  (And (Treatment-Action-Of ?A ?C)
                       (Reference-Location ?C ?B)))
          (Object ?B)))

• Defined in theory: Clin-act
• Source code: Clin-Act.lisp