Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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
-------------------------


s__documentation(s__Antibiotic,s__EnglishLanguage,'A BiologicallyActiveSubstance than can kill instances of Bacterium.')

Mid-level-ontology.kif 9142-9143
s__externalImage(s__Antibiotic,'http://upload.wikimedia.org/wikipedia/commons/8/81/Amoxicilline.png')

pictureList.kif 4505-4505
s__instance(s__Antibiotic,s__SetOrClass)

Mid-level-ontology.kif 9141-9141

appearance as argument number 2
-------------------------


s__diseaseTreatment(s__Pertussis,s__Antibiotic,s__Ingesting)

WMD.kif 1427-1427
s__diseaseTreatment(s__TyphoidFever,s__Antibiotic,s__Ingesting)

WMD.kif 1260-1260
s__instance(s__Antibiotic,s__SetOrClass)

WMD.kif 1185-1185
s__instance(s__Antibiotic,s__SetOrClass)

WMD.kif 1212-1212
s__termFormat(s__EnglishLanguage,s__Antibiotic,'antibiotic')

domainEnglishFormat.kif 1741-1741

antecedent
-------------------------


( ! [V__DISEASE,V__PROCESS] :
   (s__diseaseTreatment(V__DISEASE,s__Antibiotic,V__PROCESS)
   =>
   s__instance(V__DISEASE,s__BacterialDisease))
)

WMD.kif 1176-1178
No TPTP formula. May not be expressible in strict first order. WMD.kif 1168-1174

consequent
-------------------------


( ! [V__DISEASE] :
   (s__instance(V__DISEASE,s__ViralDisease) =>
     (? [V__PROCESS] :
       (~ s__diseaseTreatment(V__DISEASE,s__Antibiotic,V__PROCESS))))
)

WMD.kif 1180-1183


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners