No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1425-1425 |
Rash is a disease symptom of Lyme disease |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3625-3625 |
Rash is a side effect of taking adalimumab |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3919-3919 |
Rash is a side effect of taking sulfasalazine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5755-5755 |
Urticaria is a subclass of rash |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2242-2242 |
Psoriasis is a subclass of rash |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5741-5741 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5740-5740 |
|