No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1661-1661 |
注射 是 拉克罗斯病毒 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1662-1662 |
La crosse 脑炎 是 拉克罗斯病毒 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1659-1659 |
Mosquito 是 拉克罗斯病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1660-1660 |
啮齿动物 是 拉克罗斯病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1663-1664 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1658-1658 |
拉克罗斯病毒 是 病毒剂 的 subclass |