No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5738-5738 | 子類 SkinRash and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5761-5761 | 子類 Hives and SkinRash |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2242-2242 | 子類 Psoriasis and SkinRash |