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 9144-9145
(externalImage Antibiotic "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Amoxicilline.png") pictureList.kif 4505-4505 externalImage Antibiotic and "http://upload.wikimedia.org/wikipedia/commons/8/81/ Amoxicilline.png"
(subclass Antibiotic BiologicallyActiveSubstance) Mid-level-ontology.kif 9143-9143 subclass Antibiotic and BiologicallyActiveSubstance

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


(diseaseTreatment Pertussis Antibiotic Ingesting) WMD.kif 1438-1438 diseaseTreatment Pertussis, Antibiotic and Ingesting
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1271-1271 diseaseTreatment TyphoidFever, Antibiotic and Ingesting
(subclass OralAntibiotic Antibiotic) WMD.kif 1196-1196 subclass OralAntibiotic and Antibiotic
(subclass TopicalAntibiotic Antibiotic) WMD.kif 1223-1223 subclass TopicalAntibiotic and Antibiotic
(termFormat ChineseLanguage Antibiotic "抗生素") domainEnglishFormat.kif 7849-7849 termFormat ChineseLanguage, Antibiotic and "抗生素"
(termFormat ChineseTraditionalLanguage Antibiotic "抗生素") domainEnglishFormat.kif 7848-7848 termFormat ChineseTraditionalLanguage, Antibiotic and "抗生素"
(termFormat EnglishLanguage Antibiotic "antibiotic") domainEnglishFormat.kif 7847-7847 termFormat EnglishLanguage, Antibiotic and "antibiotic"

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


(=>
    (diseaseTreatment ?DISEASE Antibiotic ?PROCESS)
    (instance ?DISEASE BacterialDisease))
WMD.kif 1186-1188
(=>
    (instance ?ANTIBIOTIC Antibiotic)
    (capability
        (KappaFn ?KILL
            (and
                (instance ?KILL Killing)
                (patient ?KILL ?BACTERIUM)
                (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC))
WMD.kif 1177-1184

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


(=>
    (instance ?DISEASE ViralDisease)
    (exists (?PROCESS)
        (not
            (diseaseTreatment ?DISEASE Antibiotic ?PROCESS))))
WMD.kif 1190-1194


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