| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14477-14477 | Bacteria e' uma sub-classe de Microorganismo |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 199-199 | BacterialAgent e' uma sub-classe de Bacteria |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1979-1979 | Staphylococcus e' uma sub-classe de Bacteria |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4411-4411 | Intestinimonas e' uma sub-classe de Bacteria |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5274-5274 | FaecalibacteriumPrausnitzii e' uma sub-classe de Bacteria |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5461-5461 | EscherichiaColi e' uma sub-classe de Bacteria |
|
|