TreeView Knowledge Base Browser

appearance as argument number 1

(typicalPart Rectum GastroIntestinalTract)	Mid-level-ontology.kif 13568-13568	A rectum is typically a part of a GI
(connectedBodyPart Rectum Anus)	Mid-level-ontology.kif 13574-13574	A rectum is connected to a anus
(subclass Rectum Organ)	Mid-level-ontology.kif 13576-13576	Rectum is a subclass of organ
(subclass Rectum BodyVessel)	Mid-level-ontology.kif 13577-13577	Rectum is a subclass of body vessel
(subclass Rectum AnimalAnatomicalStructure)	Mid-level-ontology.kif 13578-13578	Rectum is a subclass of animal anatomical structure
(documentation Rectum EnglishLanguage "The rectum is part of the GastroIntestinalTract, which is the path that Food takes from the Mouth to the Anus.")	Mid-level-ontology.kif 13579-13581	Rectum is a subclass of animal anatomical structure

appearance as argument number 2

(connectedBodyPart Intestine Rectum)	Mid-level-ontology.kif 13573-13573	A intestine is connected to a rectum
(termFormat EnglishLanguage Rectum "rectum")	Mid-level-ontology.kif 13582-13582	A intestine is connected to a rectum

antecedent

(=>
    (and
        (instance ?H Human)
        (instance ?R Rectum)
        (part ?R ?H)
        (holdsDuring ?T
            (and
                (coreBodyTemp ?H
                    (MeasureFn ?N ?U))
                (measure ?R
                    (MeasureFn ?N2 ?U)))))
    (approximateValue ?N ?N2))

Medicine.kif 496-507

If X is an instance of human, Y is an instance of rectum, Y is a part of X, and core body temp X and Z W(s) and the measure of Y is V W(s) holds during U, then the approximate value of Z is V

consequent

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

Medicine.kif 2307-2315

If X is an instance of ulcerative colitis and Y experiences X, then impaired body part fn large intestine is an attribute of Y or impaired body part fn rectum is an attribute of Y

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: