Relation CARES-FOR

Arity: 2

Subrelation-Of: Clinical-actor-of

Axioms:

(=> (Cares-For ?A ?B)
    (Exists (?C) (And (Performs ?A ?C) (Care-Action-Of ?C ?B))))

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