Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| InflammatoryBowelDisease(inflammatory bowel disease) |
| appearance as argument number 1 |
|
| (subclass InflammatoryBowelDisease AutoImmuneDisorder) | Medicine.kif 2282-2282 | Inflammatory bowel disease is a subclass of auto-immune disease |
| (documentation InflammatoryBowelDisease EnglishLanguage "An AutoImmuneDisorder that affects the gastrointestinal tract. It primarily inflames the lining of the intestinal wall.") | Medicine.kif 2283-2285 | Inflammatory bowel disease is a subclass of auto-immune disease |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?IBD InflammatoryBowelDisease) (experiencer ?IBD ?H)) (attribute ?H (ImpairedBodyPartFn GastroIntestinalTract))) |
Medicine.kif 2288-2293 | If X is an instance of inflammatory bowel disease and Y experiences X, then impaired body part fn GI is an attribute of Y |
|