| Antibiotic(antibiotic)
| | Achromycin, Aureomycin, Azactam, Cefobid, Chloromycetin, Claforan, E-Mycin, Erythrocin, Ethril, Fortaz, Garamycin, Ilosone, Kafocin, Kantrex, Lincocin, Mefoxin, Minocin, Mutamycin, Mycostatin, Nebcin, Neobiotic, Nystan, Pediamycin, Primaxin, Rocephin, Tazicef, Terramycin, Ultracef, Vancocin, Zithromax, actinomycin, amphotericin, antibacterial, antibacterial_drug, antibiotic, antibiotic_drug, antimycin, antineoplastic_antibiotic, azithromycin, aztreonam, bactericide, carbomycin, cefadroxil, cefoperazone, cefotaxime, ceftazidime, ceftriaxone, cephaloglycin, cephaloridine, cephalosporin... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9668-9669 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4504-4504 | |
| 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 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1579-1579 | Pertussis is disease treatment antibiotic for ingesting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1359-1359 | Typhoid fever is disease treatment antibiotic for ingesting |
| 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 |
| 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. | 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. | domainEnglishFormat.kif 7842-7842 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7841-7841 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7840-7840 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1274-1276 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1264-1272 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9671-9676 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1278-1282 |
|
|
|
|