No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5820-5820 | 子類 傳染病 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1042-1042 | 子類 可預防的疾病 and 傳染病 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5816-5816 | 子類 細菌性疾病 and 傳染病 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5941-5941 | 子類 病毒性疾病 and 傳染病 |