| 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 10997-10998 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4503-4503 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10996-10996 | 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 1347-1347 | Carbapenem antibiotic is a subclass of antibiotic |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1959-1959 | Cephalosporin is a subclass of antibiotic |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3585-3585 | Clarithromycin is a subclass of antibiotic |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3803-3803 | Doxycycline is a subclass of antibiotic |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1334-1334 | 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 7843-7843 | Topical antibiotic is a subclass of antibiotic |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7842-7842 | Topical antibiotic is a subclass of antibiotic |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7841-7841 | Topical antibiotic is a subclass of antibiotic |
| 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 11000-11005 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1278-1282 |
|
|
|
|