TreeView Knowledge Base Browser - LargeIntestine

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LargeIntestine

LargeIntestine(large intestine)

appearance as argument number 1

(subclass LargeIntestine BodyVessel)	Mid-level-ontology.kif 12042-12042	Large intestine is a subclass of body vessel
(typicalPart LargeIntestine Intestine)	Mid-level-ontology.kif 12044-12044	A large intestine is typically a part of a intestine

appearance as argument number 2

(termFormat EnglishLanguage LargeIntestine "large intestine")

domainEnglishFormat.kif 65102-65102

consequent

(=>
    (and
        (instance ?IBD UlcerativeColitis)
        (experiencer ?IBD ?H))
    (or
        (attribute ?H
            (ImpairedBodyPartFn LargeIntestine))
        (attribute ?H
            (ImpairedBodyPartFn Rectum))))

Medicine.kif 2301-2309

If a process is an instance of ulcerative colitis and an agent experiences the process,
then impaired body part fn large intestine is an attribute of the agent or impaired body part fn rectum is an attribute of the agent

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