Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ertapenem
Ertapenem(ertapenem)

appearance as argument number 1
-------------------------


(documentation Ertapenem EnglishLanguage "Ertapenem, sold under the brand name Invanz, is a Carbapenem Antibiotic Medicine used for the treatment of infections of the Abdomen, the Lungs, the upper part of the female reproductive system, and the diabetic Foot.[from Wikipedia]") Medicine.kif 1368-1370
(externalImage Ertapenem "https://en.wikipedia.org/wiki/Ertapenem#/media/ File:Ertapenem_Formula_V.1.svg") Medicine.kif 1371-1371
(subclass Ertapenem CarbapenemAntibiotic) Medicine.kif 1367-1367 Ertapenem is a subclass of carbapenem antibiotic

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


(termFormat EnglishLanguage Ertapenem "ertapenem") Medicine.kif 1372-1372

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


(=>
    (holdsDuring ?T
        (and
            (attribute ?H InfectiousDisease)
            (attribute ?H Diabetes)
            (attribute ?H
                (ImpairedBodyPartFn Foot))))
    (holdsDuring ?T
        (diseaseMedicine InfectiousDisease Ertapenem Injecting)))
Medicine.kif 1374-1381


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