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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DiabetesType1
DiabetesType1

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


(documentation DiabetesType1 EnglishLanguage "Type 1 diabetes results from failure of the pancreas to produce enough insulin due to loss of beta cells. This form was previously referred to as 'insulin-dependent diabetes mellitus' (IDDM) or 'juvenile diabetes'. The loss of beta cells is caused by an autoimmune response. The cause of this autoimmune response is unknown.[from Wikipedia]") Medicine.kif 2137-2143
(instance DiabetesType1 Diabetes) Medicine.kif 2136-2136

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


(termFormat EnglishLanguage DiabetesType1 "IDDM") Medicine.kif 2146-2146
(termFormat EnglishLanguage DiabetesType1 "insulin-dependent diabetes mellitus") Medicine.kif 2145-2145
(termFormat EnglishLanguage DiabetesType1 "juvenile diabetes") Medicine.kif 2147-2147
(termFormat EnglishLanguage DiabetesType1 "type 1 diabetes") Medicine.kif 2144-2144

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


(=>
    (attribute ?H DiabetesType1)
    (exists (?A)
        (and
            (instance ?A AutoImmuneDisorder)
            (experiencer ?A ?H))))
Medicine.kif 2149-2154
(=>
    (attribute ?H DiabetesType1)
    (exists (?I)
        (and
            (instance ?I Insulin)
            (lacks ?H ?I))))
Medicine.kif 2156-2161


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