People have symptoms and diseases, and diseases are associated with symptoms. This requires us to define the appropriate sets, with a few illustrative individual diseases and symptoms.
(tell '((:taxonomy (Objects
(People)
(Diseases Flu Plague)
(Symptoms Fever High-Fever Nausea Nodules)))))
(tell '((:slot has-disease (people diseases))
(:slot has-symptom (people symptoms))
(:slot symptom (diseases symptoms))
(:slot temperature (physical-objects :number) :cardinality 1)))
The meanings of the relations are:
