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

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


(diseaseTreatment Pertussis Antibiotic Ingesting) WMD.kif 1444-1444
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1277-1277
(subclass OralAntibiotic Antibiotic) WMD.kif 1202-1202
(subclass TopicalAntibiotic Antibiotic) WMD.kif 1229-1229
(termFormat ChineseLanguage Antibiotic "抗生素") domainEnglishFormat.kif 7853-7853
(termFormat ChineseTraditionalLanguage Antibiotic "抗生素") domainEnglishFormat.kif 7852-7852
(termFormat EnglishLanguage Antibiotic "antibiotic") domainEnglishFormat.kif 7851-7851

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 3.0 is open source software produced by Articulate Software and its partners