Relation TREATMENT-RESOURCE

Arity: 2

Domain: Health-condition

Range: Substance

Subrelation-Of: Clinical-actor

Axioms:

(<=> (Treatment-Resource ?A ?B)
     (And (Exists (?C)
                  (And (To-Actor-Of ?A ?C)
                       (Clinical-Actor ?A ?C)
                       (Health-Condition ?A)
                       (Activity ?C)
                       (Resource ?C ?B)))
          (Clinical-Actor ?A ?B)
          (Health-Condition ?A)
          (Substance ?B)))

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