No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1425-1425 |
diseaseSymptom LymeDisease and SkinRash |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3625-3625 |
sideEffect Adalimumab and SkinRash |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3919-3919 |
sideEffect Sulfasalazine and SkinRash |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5755-5755 |
Hives e' uma sub-classe de SkinRash |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2242-2242 |
Psoriasis e' uma sub-classe de SkinRash |
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 |
|