Relation DIAGNOSTIC-METHOD

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