No TPTP formula. May not be expressible in strict first order. |
WMD.kif 279-279 |
炭疽杆菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1849-1849 |
蜡状芽孢杆菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1585-1585 |
百日咳博德特氏菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 386-386 |
布鲁氏菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 355-355 |
Burkholderia mallei 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 371-371 |
Burkholderia 假单胞菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1595-1595 |
衣原体鹦鹉热 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 317-317 |
肉毒梭菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 340-340 |
产气荚膜梭菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1506-1506 |
破伤风梭菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1896-1896 |
白喉棒状杆菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1719-1719 |
大肠杆菌 coli0157 h7 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1203-1203 |
弗朗西斯 土拉弗朗西斯菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1363-1363 |
贾第鞭毛虫 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1877-1877 |
军团菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1725-1725 |
结核分枝杆菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1244-1244 |
淋球菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 246-246 |
立克次体代理人 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1006-1006 |
沙门氏菌副伤寒沙门氏菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1352-1352 |
伤寒沙门氏菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1000-1000 |
鼠伤寒沙门氏菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1369-1369 |
Serratia marcenscens 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1331-1331 |
志贺氏痢疾杆菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1429-1429 |
金黄色葡萄球菌 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1748-1748 |
链球菌a 是 细菌剂 的 subclass |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |