Relation TREATMENT-METHOD

Arity: 2

Domain: Health-condition

Range: Abstraction

Subrelation-Of: Clinical-actor

Axioms:

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

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