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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CeliacDisease
CeliacDisease(coeliac disease)

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


(documentation CeliacDisease EnglishLanguage "Coeliac disease or celiac disease is a long-term AutoImmuneDisorder that primarily affects the SmallIntestine. Classic symptoms include gastrointestinal problems such as chronic Diarrhoea, abdominal distention, malabsorption, loss of appetite, and among children failure to grow normally. This often begins between six months and two years of age. Non-classic symptoms are more common, especially in people older than two years. There may be mild or absent gastrointestinal symptoms, a wide number of symptoms involving any part of the body, or no obvious symptoms. Coeliac disease was first described in childhood; however, it may develop at any age. It is associated with other autoimmune diseases, such as DiabetesType1 and HashimotosThyroiditis, among others. [from Wikipedia].") Medicine.kif 2708-2720
(subclass CeliacDisease AutoImmuneDisorder) Medicine.kif 2706-2706 Coeliac disease is a subclass of auto-immune disease

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


(termFormat EnglishLanguage CeliacDisease "celiac disease") Medicine.kif 2722-2722
(termFormat EnglishLanguage CeliacDisease "coeliac disease") Medicine.kif 2723-2723

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


(=>
    (and
        (instance ?P CeliacDisease)
        (experiencer ?P ?H1)
        (instance ?SI SmallIntestine)
        (part ?SI ?H1))
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Diarrhoea)
                (experiencer ?D ?H1)
                (causes ?P ?D))) Likely))
Medicine.kif 2735-2747
(=>
    (and
        (instance ?P CeliacDisease)
        (experiencer ?P ?H1)
        (instance ?SI SmallIntestine)
        (part ?SI ?H1))
    (modalAttribute
        (located ?P ?SI) Likely))
Medicine.kif 2725-2733


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