Class DIAGNOSIS

Subclass-Of: Report
Axioms:
(=> (Diagnosis ?Self)
    (And (Exists (?A)
                 (And (Interpretation-Outcome-Of ?Self ?A)
                      (Diagnostic-Procedure ?A)))
         (Exists (?B)
                 (And (Interpretant-Of ?Self ?B)
                      (Health-Condition ?B)))))