No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1713-1713 |
日本脑炎 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1714-1714 |
0.30 是 日本脑炎 的 disease 死亡 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1715-1717 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4898-4898 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1711-1711 |
日本脑炎 是 危及生命的疾病 的 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 1710-1710 |
日本脑炎 是 病毒性疾病 的 instance |