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 Antibiotic ist eine teilkategorie von BiologicallyActiveSubstance

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


(diseaseMedicine Pertussis Antibiotic Ingesting) WMD.kif 1579-1579 diseaseMedicine Pertussis, Antibiotic and Ingesting
(diseaseMedicine TyphoidFever Antibiotic Ingesting) WMD.kif 1359-1359 diseaseMedicine TyphoidFever, Antibiotic and Ingesting
(subclass CarbapenemAntibiotic Antibiotic) Medicine.kif 1355-1355 CarbapenemAntibiotic ist eine teilkategorie von Antibiotic
(subclass Cephalosporin Antibiotic) Medicine.kif 1964-1964 Cephalosporin ist eine teilkategorie von Antibiotic
(subclass Clarithromycin Antibiotic) Medicine.kif 3583-3583 Clarithromycin ist eine teilkategorie von Antibiotic
(subclass Doxycycline Antibiotic) Medicine.kif 3800-3800 Doxycycline ist eine teilkategorie von Antibiotic
(subclass InjectedAntibiotic Antibiotic) Medicine.kif 1342-1342 InjectedAntibiotic ist eine teilkategorie von Antibiotic
(subclass OralAntibiotic Antibiotic) WMD.kif 1284-1284 OralAntibiotic ist eine teilkategorie von Antibiotic
(subclass TopicalAntibiotic Antibiotic) WMD.kif 1311-1311 TopicalAntibiotic ist eine teilkategorie von Antibiotic
(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