Class CLINICAL-CONDITION

Subclass-Of: Health-condition
Axioms:
(=> (Clinical-Condition ?Self)
    (Exists (?A)
            (And (Treatment-Action ?Self ?A)
                 (Health-Care-Activity ?A))))