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 3916-3916 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 2296-2298
(subclass UlcerativeColitis InflammatoryBowelDisease) Medicine.kif 2295-2295 Ulcerative colitis is a subclass of inflammatory bowel disease

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


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

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


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


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