Class LABORATORY-OR-TEST-RESULT

The outcome of a specific test to measure an attribute or to determine the presence, absence, or degree of a condition. Laboratory or test results are considered inherently quantitative and thus are not assigned the additional type 'Quantitative Concept'.
Subclass-Of: Procedure-finding
Axioms:
(Slot-Value-Type Laboratory-Or-Test-Result
                 Evidentiates
                 Clinical-Condition)

(Slot-Value-Type Laboratory-Or-Test-Result
                 Indicates
                 Biologic-Function)

(=> (Laboratory-Or-Test-Result ?Self)
    (And (Exists (?A)
                 (And (Interpretation-Outcome-Of ?Self ?A)
                      (Or (Diagnostic-Procedure ?A)
                          (Laboratory-Procedure ?A))))
         (Forall (?B)
                 (=> (Measurement-Of ?Self ?B)
                     (Or (Substance ?B)
                         (Physiologic-Function ?B)
                         (Laboratory-Or-Test-Result ?B))))))