| 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 9130-9131 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4505-4505 | "http://upload.wikimedia.org/wikipedia/commons/8/81/ Amoxicilline.png" is a URL depicting antibiotic |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9129-9129 | 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 1427-1427 | Pertussis disease treatment antibiotic for ingesting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1260-1260 | Typhoid fever disease treatment antibiotic for ingesting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1185-1185 | Oral antibiotic is a subclass of antibiotic |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1212-1212 | Topical antibiotic is a subclass of antibiotic |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1741-1741 | "antibiotic" is the printable form of antibiotic in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1176-1178 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1168-1174 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1180-1183 |
|
|
|
|