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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Antibiotic
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 8717-8718
s__externalImage(s__Antibiotic,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Amoxicilline.png"')

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

s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__Antibiotic,s__BiologicallyActiveSubstance)

Mid-level-ontology.kif 8716-8716 Antibiotic is a subclass of biologically active substance

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


s__diseaseTreatment(s__Pertussis,s__Antibiotic,s__Ingesting)

WMD.kif 1517-1517 Pertussis is disease treatment antibiotic for ingesting
s__diseaseTreatment(s__TyphoidFever,s__Antibiotic,s__Ingesting)

WMD.kif 1344-1344 Typhoid fever is disease treatment antibiotic for ingesting
s__instance(s__Antibiotic,s__SetOrClass)

s__subclass(s__OralAntibiotic,s__Antibiotic)

s__instance(s__OralAntibiotic,s__SetOrClass)

WMD.kif 1269-1269 Oral antibiotic is a subclass of antibiotic
s__instance(s__Antibiotic,s__SetOrClass)

s__instance(s__TopicalAntibiotic,s__SetOrClass)

s__subclass(s__TopicalAntibiotic,s__Antibiotic)

WMD.kif 1296-1296 Topical antibiotic is a subclass of antibiotic
s__termFormat(s__ChineseLanguage,s__Antibiotic,'"抗生素"')

domainEnglishFormat.kif 7851-7851
s__termFormat(s__ChineseTraditionalLanguage,s__Antibiotic,'"抗生素"')

domainEnglishFormat.kif 7850-7850
s__termFormat(s__EnglishLanguage,s__Antibiotic,'"antibiotic"')

domainEnglishFormat.kif 7849-7849

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


( ! [V__PROCESS,V__DISEASE] :
   (((s__subclass(V__PROCESS,s__Process) &
         s__instance(V__DISEASE,s__DiseaseOrSyndrome))
       =>
       ((s__diseaseTreatment(V__DISEASE,s__Antibiotic,V__PROCESS)
         =>
         (s__instance(V__DISEASE,s__BacterialDisease)))))
   )
)

WMD.kif 1259-1261
( ! [V__A,V__AVM] :
   ((s__subclass(V__AVM,s__Medicine) =>
       ((s__instance(V__A,s__Antibiotic) =>
           (( ? [V__D] :
               ((s__instance(V__D,s__BacterialDisease) &
                   s__medicine(V__AVM,V__D))))))))
   )
)

Mid-level-ontology.kif 8720-8725
No TPTP formula. May not be expressible in strict first order. WMD.kif 1250-1257

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


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

WMD.kif 1263-1267


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 3.0 is open source software produced by Articulate Software and its partners