Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CeliacDisease(coeliac disease) |
| appearance as argument number 1 |
|
| (subclass CeliacDisease AutoImmuneDisorder) | Medicine.kif 2715-2715 | Coeliac disease is a subclass of auto-immune disease |
| (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 2717-2729 | Coeliac disease is a subclass of auto-immune disease |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CeliacDisease "celiac disease") | Medicine.kif 2731-2731 | |
| (termFormat EnglishLanguage CeliacDisease "coeliac disease") | Medicine.kif 2732-2732 |
| antecedent |
|
|
| (=> (and (instance ?P CeliacDisease) (experiencer ?P ?H1) (instance ?SI SmallIntestine) (part ?SI ?H1)) (modalAttribute (located ?P ?SI) Likely)) |
Medicine.kif 2734-2742 | If X is an instance of coeliac disease, Y experiences X, Z is an instance of small intestine, and Z is a part of Y, then the statement X is located at Z has the modal force of likely |
| (=> (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 2744-2756 | If X is an instance of coeliac disease, Y experiences X, Z is an instance of small intestine, and Z is a part of Y, then the statement there exists W such that W is an instance of Diarrhoea, Y experiences W, and X causes W has the modal force of likely |
|