No TPTP formula. May not be expressible in strict first order. | WMD.kif 198-198 | 子類 細菌劑 and 有毒生物 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 199-199 | 子類 細菌劑 and Bacterium |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 246-246 | 子類 立克次體代理人 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 279-279 | 子類 炭疽桿菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 317-317 | 子類 肉毒梭菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 340-340 | 子類 產氣莢膜梭菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 355-355 | 子類 burkholderia mallei and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 371-371 | 子類 burkholderia 假單胞菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 386-386 | 子類 布魯氏菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 399-399 | 子類 鼠疫耶爾森氏菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1000-1000 | 子類 鼠傷寒沙門氏菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1006-1006 | 子類 沙門氏菌副傷寒沙門氏菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1203-1203 | 子類 弗朗西斯 土拉弗朗西斯菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1244-1244 | 子類 淋球菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1331-1331 | 子類 志賀氏痢疾桿菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1352-1352 | 子類 傷寒沙門氏菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1363-1363 | 子類 賈第鞭毛蟲 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1369-1369 | 子類 serratia marcenscens and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1429-1429 | 子類 金黃色葡萄球菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1492-1492 | 子類 霍亂弧菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1506-1506 | 子類 破傷風梭菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1585-1585 | 子類 百日咳博德特氏菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1591-1591 | 子類 耶爾森氏菌假結核 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1595-1595 | 子類 衣原體鸚鵡熱 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1719-1719 | 子類 大腸桿菌 coli0157 h7 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1725-1725 | 子類 結核分枝桿菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1748-1748 | 子類 鏈球菌 a and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1849-1849 | 子類 蠟狀芽孢桿菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1877-1877 | 子類 軍團菌 and 細菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1896-1896 | 子類 白喉棒狀桿菌 and 細菌劑 |