Relation DIAGNOSTIC-ACTION

Arity: 2
Domain: Health-condition
Range: Act, Activity
Subrelation-Of: Clinical-actor
Axioms:
(<=> (Diagnostic-Action ?A ?B)
     (And (Exists (?C)
                  (And (Evaluated-By ?A ?C)
                       (Inverse-Of-Clinical-Relation ?A ?C)
                       (Health-Condition ?A)
                       (*Healthcare-Operator ?C)
                       (Performs ?C ?B)))
          (Act ?B)
          (Clinical-Actor ?A ?B)
          (Health-Condition ?A)
          (Activity ?B)))