Class SYMPTOM

Subclass-Of: Medical-sign, Symptom
Axioms:
(Slot-Cardinality Symptom _Intentional 1)

(=> (Symptom ?Self)
    (Exists (?A) (And (Interpreted-By ?Self ?A) (Patient ?A))))