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 10997-10998
(externalImage Antibiotic "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Amoxicilline.png") pictureList.kif 4503-4503
(subclass Antibiotic BiologicallyActiveSubstance) Mid-level-ontology.kif 10996-10996

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 1347-1347
(subclass Cephalosporin Antibiotic) Medicine.kif 1959-1959
(subclass Clarithromycin Antibiotic) Medicine.kif 3585-3585
(subclass Doxycycline Antibiotic) Medicine.kif 3803-3803
(subclass InjectedAntibiotic Antibiotic) Medicine.kif 1334-1334
(subclass OralAntibiotic Antibiotic) WMD.kif 1284-1284
(subclass TopicalAntibiotic Antibiotic) WMD.kif 1311-1311
(termFormat ChineseLanguage Antibiotic "抗生素") domainEnglishFormat.kif 7843-7843
(termFormat ChineseTraditionalLanguage Antibiotic "抗生素") domainEnglishFormat.kif 7842-7842
(termFormat EnglishLanguage Antibiotic "antibiotic") domainEnglishFormat.kif 7841-7841

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 11000-11005

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