No TPTP formula. May not be expressible in strict first order. | Merge.kif 14501-14501 | 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 |