| 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 | Antibiotic e' uma sub-classe de Substancia Biologica Ativa |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1284-1284 | OralAntibiotic e' uma sub-classe de Antibiotic |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1311-1311 | TopicalAntibiotic e' uma sub-classe de Antibiotic |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1342-1342 | InjectedAntibiotic e' uma sub-classe de Antibiotic |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1355-1355 | CarbapenemAntibiotic e' uma sub-classe de Antibiotic |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1964-1964 | Cephalosporin e' uma sub-classe de Antibiotic |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3583-3583 | Clarithromycin e' uma sub-classe de Antibiotic |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3800-3800 | Doxycycline e' uma sub-classe de Antibiotic |
|
|