No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1704-1704 |
注射 是 日本脑炎病毒 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1705-1705 |
日本脑炎 是 日本脑炎病毒 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1703-1703 |
Mosquito 是 日本脑炎病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1706-1708 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5016-5016 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4899-4899 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1702-1702 |
日本脑炎病毒 是 病毒剂 的 subclass |