| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14477-14477 | Bact�rie est une sous-classe de microorganisme |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 199-199 | BacterialAgent est une sous-classe de bact�rie |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1979-1979 | Staphylococcus est une sous-classe de bact�rie |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4411-4411 | Intestinimonas est une sous-classe de bact�rie |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5274-5274 | FaecalibacteriumPrausnitzii est une sous-classe de bact�rie |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5461-5461 | EscherichiaColi est une sous-classe de bact�rie |
|
|