| 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 1360-1362 | |
| (externalImage Ertapenem "https://en.wikipedia.org/wiki/Ertapenem#/media/ File:Ertapenem_Formula_V.1.svg") | Medicine.kif 1363-1363 | |
| (subclass Ertapenem CarbapenemAntibiotic) | Medicine.kif 1359-1359 | Ertapenem is a subclass of carbapenem antibiotic |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Ertapenem "ertapenem") | Medicine.kif 1364-1364 |
| consequent |
|
|
| (=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting))) |
Medicine.kif 1366-1373 |
|
|
|
|