| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14455-14455 | Bacterium is a subclass of microorganism |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 199-199 | Bacterial agent is a subclass of bacterium |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1979-1979 | Staphylococcus is a subclass of bacterium |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4411-4411 | Intestinimonas is a subclass of bacterium |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5274-5274 | Faecalibacterium prausnitzii is a subclass of bacterium |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5461-5461 | E. coli is a subclass of bacterium |
|
|