No TPTP formula. May not be expressible in strict first order. |
WMD.kif 334-334 |
例 肉毒中毒 and 可預防的疾病 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1486-1486 |
例 霍亂 and 可預防的疾病 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1787-1787 |
例 A型肝炎 and 可預防的疾病 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1799-1799 |
例 B型肝炎 and 可預防的疾病 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1712-1712 |
例 日本腦炎 and 可預防的疾病 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1578-1578 |
例 百日咳 and 可預防的疾病 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 412-412 |
例 鼠疫 and 可預防的疾病 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1498-1498 |
例 破傷風 and 可預防的疾病 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1730-1730 |
例 結核 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 可預防的疾病 |
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. |
domainEnglishFormat.kif 61148-61148 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61147-61147 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61146-61146 |
|