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. | WMD.kif 1409-1409 | 子類 委內瑞拉馬腦炎 and 可預防的疾病 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1448-1448 | 子類 流感 and 可預防的疾病 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2037-2037 | 子類 蜱傳腦炎 and 可預防的疾病 |