| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 285-285 |
有蹄哺乳动物 是 炭疽杆菌 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1586-1586 |
人类 是 百日咳博德特氏菌 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1429-1429 |
Louse 是 Borrelia 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1428-1428 |
Tick 是 Borrelia 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 356-356 |
哺乳动物 是 burkholderia mallei 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 372-372 |
哺乳动物 是 burkholderia 假单胞菌 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1597-1597 |
鸟 是 衣原体鹦鹉热 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1470-1470 |
软体动物 是 芋螺毒素 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1919-1919 |
蛛形䋞动物 是 克里米亚刚果出血热病毒 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1638-1638 |
Mosquito 是 登革热病毒 的病毒传递者 |
| 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 1205-1205 |
蛛形䋞动物 是 弗朗西斯 土拉弗朗西斯菌 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1204-1204 |
啮齿动物 是 弗朗西斯 土拉弗朗西斯菌 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1365-1365 |
啮齿动物 是 贾第鞭毛虫 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1524-1524 |
猴子 是 疱疹B病毒 的病毒传递者 |
| 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 1925-1925 |
啮齿动物 是 junin病毒 的病毒传递者 |
| 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 1860-1860 |
啮齿动物 是 拉萨病毒 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1938-1938 |
啮齿动物 是 machupo病毒 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1615-1615 |
Mosquito 是 疟疾疟原虫 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1235-1235 |
哺乳动物 是 猴痘病毒 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1404-1404 |
啮齿动物 是 Myxomatosis 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 267-267 |
节肢动物 是 立克次氏体 的病毒传递者 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
