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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Rectum

appearance as argument number 1

(connectedBodyPart Rectum Anus) Mid-level-ontology.kif 12066-12066 A rectum is connected to a anus
(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 12071-12073
(subclass Rectum AnimalAnatomicalStructure) Mid-level-ontology.kif 12070-12070 Rectum is a subclass of animal anatomical structure
(subclass Rectum BodyVessel) Mid-level-ontology.kif 12069-12069 Rectum is a subclass of body vessel
(subclass Rectum Organ) Mid-level-ontology.kif 12068-12068 Rectum is a subclass of organ
(typicalPart Rectum GastroIntestinalTract) Mid-level-ontology.kif 12060-12060 A rectum is typically a part of a GI

appearance as argument number 2

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


        (instance ?H Human)
        (instance ?R Rectum)
        (part ?R ?H)
        (holdsDuring ?T
                (coreBodyTemp ?H
                    (MeasureFn ?N ?U))
                (measure ?R
                    (MeasureFn ?N2 ?U)))))
    (approximateValue ?N ?N2))
Medicine.kif 519-530


        (instance ?IBD UlcerativeColitis)
        (experiencer ?IBD ?H))
        (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