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 5760-5760 |
Hives est une sous-classe de SkinRash |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2242-2242 |
Psoriasis est une sous-classe de SkinRash |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5746-5746 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5745-5745 |
|