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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hungry

Sigma KEE - UlcerativeColitis
UlcerativeColitis

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


(diseaseMedicine UlcerativeColitis Sulfasalazine Ingesting) Medicine.kif 3916-3916 UlcerativeColitis 是 對於 Ingestingdisease 治癒 Sulfasalazine
(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 子類 UlcerativeColitis and InflammatoryBowelDisease

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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