No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1675-1675 |
注射 是 圣路易斯脑炎病毒 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1676-1676 |
圣路易斯脑炎 是 圣路易斯脑炎病毒 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1673-1673 |
鸟 是 圣路易斯脑炎病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1674-1674 |
Mosquito 是 圣路易斯脑炎病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1677-1678 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1672-1672 |
圣路易斯脑炎病毒 是 病毒剂 的 subclass |