Relation DIAGNOSED-BY

Arity: 2
Domain: Health-condition
Range: *healthcare-operator
Subrelation-Of: Evaluated-by, Inverse-of-clinical-relation
Axioms:
(<=> (Diagnosed-By ?A ?B)
     (And (Evaluated-By ?A ?B)
          (Inverse-Of-Clinical-Relation ?A ?B)
          (Health-Condition ?A)
          (*Healthcare-Operator ?B)))