No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5825-5825 | 子類 傳染病 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 5821-5821 | 子類 細菌性疾病 and 傳染病 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5946-5946 | 子類 病毒性疾病 and 傳染病 |
![]() |