| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9671-9676 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9667-9667 | 抗生素 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1284-1284 | 口服抗生素 是 抗生素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1311-1311 | 外用抗生素 是 抗生素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1342-1342 | InjectedAntibiotic 是 抗生素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1355-1355 | CarbapenemAntibiotic 是 抗生素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1964-1964 | Cephalosporin 是 抗生素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3583-3583 | Clarithromycin 是 抗生素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3800-3800 | 多西环素 是 抗生素 的 subclass |
|
|