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 | Antibiotic is a subclass of biologically active substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1284-1284 | Oral antibiotic is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1311-1311 | Topical antibiotic is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1342-1342 | Injected antibiotic is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1355-1355 | Carbapenem antibiotic is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1964-1964 | Cephalosporin is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3583-3583 | Clarithromycin is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3800-3800 | Doxycycline is a subclass of antibiotic |