| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9670-9675 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9666-9666 | 子類 抗生素 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1284-1284 | 子類 口服抗生素 and 抗生素 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1311-1311 | 子類 外用抗生素 and 抗生素 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1342-1342 | 子類 InjectedAntibiotic and 抗生素 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1355-1355 | 子類 CarbapenemAntibiotic and 抗生素 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1964-1964 | 子類 Cephalosporin and 抗生素 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3583-3583 | 子類 Clarithromycin and 抗生素 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3800-3800 | 子類 多西環素 and 抗生素 |
|
|