Relation CARE-TARGET

Arity: 2
Domain: Object
Range: Object
Axioms:
(= (Inverse Cares-For) Care-Target)

(<=> (Care-Target ?A ?B) (And (Object ?A) (Object ?B)))