No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1425-1425 |
SkinRash 是 LymeDisease 的 disease 病状 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3625-3625 |
SkinRash 是服用 Adalimumab 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3919-3919 |
SkinRash 是服用 Sulfasalazine 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5761-5761 |
Hives 是 SkinRash 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2242-2242 |
Psoriasis 是 SkinRash 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5747-5747 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5746-5746 |
|