Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   FitbitDevice
|
|
|
| appearance as argument number 1 |
|
|
| (subclass UlcerativeColitis InflammatoryBowelDisease) | Medicine.kif 2301-2301 | Ulcerative colitis is a subclass of inflammatory bowel disease |
| (documentation UlcerativeColitis EnglishLanguage "An AutoImmuneDisorder that affects the gastrointestinal tract. It primarily inflames the lining of the intestinal wall.") | Medicine.kif 2302-2304 | Ulcerative colitis is a subclass of inflammatory bowel disease |
| (diseaseMedicine UlcerativeColitis Sulfasalazine Ingesting) | Medicine.kif 3950-3950 | Ulcerative colitis is disease treatment sulfasalazine for ingesting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage UlcerativeColitis "ulcerative colitis") | Medicine.kif 2305-2305 |
| antecedent |
|
|
| (=> (and (instance ?IBD UlcerativeColitis) (experiencer ?IBD ?H)) (or (attribute ?H (ImpairedBodyPartFn LargeIntestine)) (attribute ?H (ImpairedBodyPartFn Rectum)))) |
Medicine.kif 2307-2315 | If X is an instance of ulcerative colitis and Y experiences X, then impaired body part fn large intestine is an attribute of Y or impaired body part fn rectum is an attribute of Y |
|