Relation DIAGNOSES

Distinguishes or identifies the nature or characteristics of a condition.
Arity: 2
Domain: *healthcare-operator
Mapping: New entry. Consider this is highly metonymic, as used in medical language: someone diagnoses sth, but also a substance diagnoses sth (=makes it possible to diagnose sth), etc.: 1) physician-(diagnoses1)->clinical-condition diagnoses1 :is-primitive evaluates :domain clin-act:*physician :range clin-act:condition 2) sign-or-symptom-(interpretant-of)->clinical-condition 3) procedure-(action)->physician-(diagnoses1)->clinical-condition =>procedure-(diagnoses2)->clinical-condition diagnoses2 :is (:composition action diagnoses1) diagnostic-action 4) pharmacologic-substance-(resource-of)->procedure-(action)->physician-(diagnoses1)->clinical-condition =>pharmacologic-substance-(diagnoses3)->clinical-condition diagnoses3 :is (:composition resource-of action diagnoses1) / (:composition resource-of diagnoses2) diagnostic-resource 'diagnoses' is not left with the USN naive wide sense, but two new relations are created and 'interpretant-of' is used where needed. This 'diagnoses' is restricted to 'diagnoses1'.
Range: Health-condition
Subrelation-Of: Clinical-relation, Evaluates
Axioms:
(<=> (Diagnoses ?A ?B)
     (And (Clinical-Relation ?A ?B)
          (Evaluates ?A ?B)
          (*Healthcare-Operator ?A)
          (Health-Condition ?B)))