No TPTP formula. May not be expressible in strict first order. |
WMD.kif 406-406 |
鼠疫 是 鼠疫耶尔森氏菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 408-408 |
昆虫 是 鼠疫耶尔森氏菌 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 407-407 |
啮齿动物 是 鼠疫耶尔森氏菌 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 409-409 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 977-977 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 399-399 |
鼠疫耶尔森氏菌 是 细菌剂 的 subclass |