Relation TREATED-BY

Arity: 2

Domain: Health-condition

Range: Object

Axioms:

(= (Inverse Treats) Treated-By)

(<=> (Treated-By ?A ?B) (And (Health-Condition ?A) (Object ?B)))

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