| No TPTP formula. May not be expressible in strict first order. | WMD.kif 198-198 | 细菌剂 是 有毒生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 199-199 | 细菌剂 是 细菌 的 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 279-279 | 炭疽杆菌 是 细菌剂 的 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 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 386-386 | 布鲁氏菌 是 细菌剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 399-399 | 鼠疫耶尔森氏菌 是 细菌剂 的 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 1006-1006 | 沙门氏菌副伤寒沙门氏菌 是 细菌剂 的 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 1244-1244 | 淋球菌 是 细菌剂 的 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 1352-1352 | 伤寒沙门氏菌 是 细菌剂 的 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 1369-1369 | Serratia marcenscens 是 细菌剂 的 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 1492-1492 | 霍乱弧菌 是 细菌剂 的 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 1585-1585 | 百日咳博德特氏菌 是 细菌剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1591-1591 | 耶尔森氏菌假结核 是 细菌剂 的 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 1719-1719 | 大肠杆菌 coli0157 h7 是 细菌剂 的 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 1748-1748 | 链球菌a 是 细菌剂 的 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 1877-1877 | 军团菌 是 细菌剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1896-1896 | 白喉棒状杆菌 是 细菌剂 的 subclass |
|
|