| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14477-14477 | 子類 Bacterium and Microorganism |
| 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. | Medicine.kif 1979-1979 | 子類 Staphylococcus and Bacterium |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4411-4411 | 子類 Intestinimonas and Bacterium |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5274-5274 | 子類 FaecalibacteriumPrausnitzii and Bacterium |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5461-5461 | 子類 EscherichiaColi and Bacterium |
|
|