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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UlcerativeColitis
UlcerativeColitis(ulcerative colitis)

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


(diseaseMedicine UlcerativeColitis Sulfasalazine Ingesting) Medicine.kif 3904-3904 Ulcerative colitis is disease treatment sulfasalazine for ingesting
(documentation UlcerativeColitis EnglishLanguage "An AutoImmuneDisorder that affects the gastrointestinal tract. It primarily inflames the lining of the intestinal wall.") Medicine.kif 2284-2286 Ulcerative colitis is disease treatment sulfasalazine for ingesting
(subclass UlcerativeColitis InflammatoryBowelDisease) Medicine.kif 2283-2283 Ulcerative colitis is a subclass of inflammatory bowel disease

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


(termFormat EnglishLanguage UlcerativeColitis "ulcerative colitis") Medicine.kif 2287-2287

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


(=>
    (and
        (instance ?IBD UlcerativeColitis)
        (experiencer ?IBD ?H))
    (or
        (attribute ?H
            (ImpairedBodyPartFn LargeIntestine))
        (attribute ?H
            (ImpairedBodyPartFn Rectum))))
Medicine.kif 2289-2297


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