Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Diabetes(diabetes mellitus) |
| appearance as argument number 1 |
|
| (instance Diabetes DiseaseOrSyndrome) | Medicine.kif 1366-1366 | Diabetes mellitus is an instance of disease or syndrome |
| (documentation Diabetes EnglishLanguage "Diabetes, also known as diabetes mellitus, is a group of common endocrine diseases characterized by sustained high blood sugar levels. Diabetes is due to either the Pancreas not producing enough insulin, or the Cells of the body not responding properly to the Insulin produced. Diabetes, if left untreated, leads to many health complications. Untreated or poorly treated diabetes accounts for approximately 1.5 million Deaths per year. There is no widely accepted cure for most cases of diabetes. The most common treatment for type 1 diabetes is insulin replacement therapy (insulin injections). Anti-diabetic medications such as metformin and semaglutide, as well as lifestyle modifications, can be used to prevent or respond to type 2 diabetes. Gestational diabetes normally resolves shortly after delivery.[from Wikipedia]") | Medicine.kif 1367-1375 | Diabetes mellitus is an instance of disease or syndrome |
| (subclass Diabetes DiseaseOrSyndrome) | Medicine.kif 2126-2126 | Diabetes mellitus is a subclass of disease or syndrome |
| (documentation Diabetes EnglishLanguage "Diabetes mellitus (DM), commonly known as just diabetes, is a group of metabolic disorders characterized by a high blood sugar level over a prolonged period of time. Symptoms often include frequent urination, increased thirst and increased appetite. If left untreated, diabetes can cause many health complications. Acute complications can include diabetic ketoacidosis, hyperosmolar hyperglycemic state, or death. Serious long-term complications include cardiovascular disease, stroke, chronic kidney disease, foot ulcers, damage to the nerves, damage to the eyes and cognitive impairment.[from Wikipedia]") | Medicine.kif 2128-2137 | Diabetes mellitus is a subclass of disease or syndrome |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|