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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Diabetes
Diabetes(diabetes mellitus)

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


(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 2123-2132
(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 1384-1392
(instance Diabetes DiseaseOrSyndrome) Medicine.kif 1383-1383 Diabetes mellitus is an instance of disease or syndrome
(subclass Diabetes DiseaseOrSyndrome) Medicine.kif 2121-2121 Diabetes mellitus is a subclass of disease or syndrome

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


(instance DiabetesGestational Diabetes) Medicine.kif 2176-2176 DiabetesGestational is an instance of diabetes mellitus
(instance DiabetesType1 Diabetes) Medicine.kif 2136-2136 Juvenile diabetes is an instance of diabetes mellitus
(instance DiabetesType2 Diabetes) Medicine.kif 2163-2163 Adult onset diabetes is an instance of diabetes mellitus
(termFormat EnglishLanguage Diabetes "diabetes mellitus") Medicine.kif 2134-2134 Adult onset diabetes is an instance of diabetes mellitus
(termFormat EnglishLanguage Diabetes "diabetes") Medicine.kif 2133-2133 Adult onset diabetes is an instance of diabetes mellitus

antecedent
-------------------------


(=>
    (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