| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14477-14477 | 细菌 是 微生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 199-199 | 细菌剂 是 细菌 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1979-1979 | Staphylococcus 是 细菌 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4411-4411 | Intestinimonas 是 细菌 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5274-5274 | FaecalibacteriumPrausnitzii 是 细菌 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5461-5461 | EscherichiaColi 是 细菌 的 subclass |
|
|