No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9698-9703 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9694-9694 | 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 |