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 3919-3919 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 2294-2296 Ulcerative colitis is disease treatment sulfasalazine for ingesting
(subclass UlcerativeColitis InflammatoryBowelDisease) Medicine.kif 2293-2293 Ulcerative colitis is a subclass of inflammatory bowel disease

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


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

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


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


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