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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Antibiotic
Antibiotic

appearance as argument number 1
-------------------------


(documentation Antibiotic EnglishLanguage "A BiologicallyActiveSubstance than can kill instances of Bacterium.") Mid-level-ontology.kif 9668-9669
(externalImage Antibiotic "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Amoxicilline.png") pictureList.kif 4504-4504
(subclass Antibiotic BiologicallyActiveSubstance) Mid-level-ontology.kif 9667-9667

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


(diseaseMedicine Pertussis Antibiotic Ingesting) WMD.kif 1579-1579
(diseaseMedicine TyphoidFever Antibiotic Ingesting) WMD.kif 1359-1359
(subclass CarbapenemAntibiotic Antibiotic) Medicine.kif 1355-1355
(subclass Cephalosporin Antibiotic) Medicine.kif 1964-1964
(subclass Clarithromycin Antibiotic) Medicine.kif 3583-3583
(subclass Doxycycline Antibiotic) Medicine.kif 3800-3800
(subclass InjectedAntibiotic Antibiotic) Medicine.kif 1342-1342
(subclass OralAntibiotic Antibiotic) WMD.kif 1284-1284
(subclass TopicalAntibiotic Antibiotic) WMD.kif 1311-1311
(termFormat ChineseLanguage Antibiotic "抗生素") domainEnglishFormat.kif 7842-7842
(termFormat ChineseTraditionalLanguage Antibiotic "抗生素") domainEnglishFormat.kif 7841-7841
(termFormat EnglishLanguage Antibiotic "antibiotic") domainEnglishFormat.kif 7840-7840

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


(=>
    (diseaseMedicine ?DISEASE Antibiotic ?PROCESS)
    (instance ?DISEASE BacterialDisease))
WMD.kif 1274-1276
(=>
    (instance ?ANTIBIOTIC Antibiotic)
    (exists (?KILL ?BACTERIUM)
        (capability
            (KappaFn ?KILL
                (and
                    (instance ?KILL Killing)
                    (patient ?KILL ?BACTERIUM)
                    (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC)))
WMD.kif 1264-1272
(=>
    (subclass ?A Antibiotic)
    (exists (?D)
        (and
            (instance ?D BacterialDisease)
            (medicine ?A ?D))))
Mid-level-ontology.kif 9671-9676

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


(=>
    (instance ?DISEASE ViralDisease)
    (exists (?PROCESS)
        (not
            (diseaseMedicine ?DISEASE Antibiotic ?PROCESS))))
WMD.kif 1278-1282


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