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

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


(diseaseTreatment Pertussis Antibiotic Ingesting) WMD.kif 1444-1444 diseaseTreatment Pertussis, Antibiotic and Ingesting
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1277-1277 diseaseTreatment TyphoidFever, Antibiotic and Ingesting
(subclass OralAntibiotic Antibiotic) WMD.kif 1202-1202 subclass OralAntibiotic and Antibiotic
(subclass TopicalAntibiotic Antibiotic) WMD.kif 1229-1229 subclass TopicalAntibiotic and Antibiotic
(termFormat ChineseLanguage Antibiotic "抗生素") domainEnglishFormat.kif 7849-7849
(termFormat ChineseTraditionalLanguage Antibiotic "抗生素") domainEnglishFormat.kif 7848-7848
(termFormat EnglishLanguage Antibiotic "antibiotic") domainEnglishFormat.kif 7847-7847

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


(=>
    (diseaseTreatment ?DISEASE Antibiotic ?PROCESS)
    (instance ?DISEASE BacterialDisease))
WMD.kif 1192-1194
(=>
    (instance ?ANTIBIOTIC Antibiotic)
    (capability
        (KappaFn ?KILL
            (and
                (instance ?KILL Killing)
                (patient ?KILL ?BACTERIUM)
                (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC))
WMD.kif 1183-1190

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


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


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