No TPTP formula. May not be expressible in strict first order. |
WMD.kif 334-334 |
肉毒中毒 是 可预防的疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1486-1486 |
霍乱 是 可预防的疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1787-1787 |
A型肝炎 是 可预防的疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1799-1799 |
B型肝炎 是 可预防的疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1712-1712 |
日本脑炎 是 可预防的疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1578-1578 |
百日咳 是 可预防的疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 412-412 |
鼠疫 是 可预防的疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1498-1498 |
破伤风 是 可预防的疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1730-1730 |
结核 是 可预防的疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1448-1448 |
流感 是 可预防的疾病 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 2037-2037 |
蜱传脑炎 是 可预防的疾病 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1409-1409 |
委内瑞拉马脑炎 是 可预防的疾病 的 subclass |
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 |
|