| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1690-1690 |
注射 是 东部马脑炎病毒 的 biochemical 病毒传递 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1691-1691 |
东部马脑炎 是 东部马脑炎病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1689-1689 |
Mosquito 是 东部马脑炎病毒 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1692-1694 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9167-9167 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8459-8459 |
|
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1688-1688 |
东部马脑炎病毒 是 病毒剂 的 subclass |
