| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 285-285 |
HoofedMammal 是 炭疽桿菌 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1586-1586 |
Human 是 百日咳博德特氏菌 的病毒傳遞者 |
| 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 |
Mammal 是 burkholderia mallei 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 372-372 |
Mammal 是 burkholderia 假單胞菌 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1597-1597 |
Bird 是 衣原體鸚鵡熱 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1470-1470 |
Mollusk 是 芋螺毒素 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1919-1919 |
Arachnid 是 克里米亞剛果出血熱病毒 的病毒傳遞者 |
| 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 |
Arachnid 是 弗朗西斯 土拉弗朗西斯菌 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1204-1204 |
Rodent 是 弗朗西斯 土拉弗朗西斯菌 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1365-1365 |
Rodent 是 賈第鞭毛蟲 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1524-1524 |
Monkey 是 皰疹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 |
Rodent 是 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 |
Rodent 是 拉克羅斯病毒 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1860-1860 |
Rodent 是 拉薩病毒 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1938-1938 |
Rodent 是 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 |
Mammal 是 猴痘病毒 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1404-1404 |
Rodent 是 Myxomatosis 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 267-267 |
Arthropod 是 立克次氏體 的病毒傳遞者 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
