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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rectum
Rectum

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


(connectedBodyPart Rectum Anus) Mid-level-ontology.kif 12067-12067 connectedBodyPart Rectum and 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 12072-12074
(subclass Rectum AnimalAnatomicalStructure) Mid-level-ontology.kif 12071-12071 Rectum动物解剖结构subclass
(subclass Rectum BodyVessel) Mid-level-ontology.kif 12070-12070 Rectum身体管道subclass
(subclass Rectum Organ) Mid-level-ontology.kif 12069-12069 Rectum器官subclass
(typicalPart Rectum GastroIntestinalTract) Mid-level-ontology.kif 12061-12061 Rectum typicallyGastroIntestinalTractpart

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


(connectedBodyPart Intestine Rectum) Mid-level-ontology.kif 12066-12066 connectedBodyPart and Rectum
(termFormat EnglishLanguage Rectum "rectum") Mid-level-ontology.kif 12075-12075

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 519-530

consequent
-------------------------


(=>
    (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