Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Ertapenem(ertapenem)
|
| appearance as argument number 1 |
|
| (subclass Ertapenem CarbapenemAntibiotic) | Medicine.kif 1350-1350 | Ertapenem is a subclass of carbapenem antibiotic |
| (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 1351-1353 | Ertapenem is a subclass of carbapenem antibiotic |
| (externalImage Ertapenem "https://en.wikipedia.org/wiki/Ertapenem#/media/ File:Ertapenem_Formula_V.1.svg") | Medicine.kif 1354-1354 | Ertapenem is a subclass of carbapenem antibiotic |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Ertapenem "ertapenem") | Medicine.kif 1355-1355 |
| consequent |
|
|
| (=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting))) |
Medicine.kif 1357-1364 | If infectious disease is an attribute of X, diabetes mellitus is an attribute of X, and impaired body part fn foot is an attribute of X holds during Y, then infectious disease is disease treatment ertapenem for injecting holds during Y |
|