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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rectum

Sigma KEE - Rectum
Rectum

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


(connectedBodyPart Rectum Anus) Mid-level-ontology.kif 12094-12094 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 12099-12101
(subclass Rectum AnimalAnatomicalStructure) Mid-level-ontology.kif 12098-12098 Rectum ist eine teilkategorie von AnimalAnatomicalStructure
(subclass Rectum BodyVessel) Mid-level-ontology.kif 12097-12097 Rectum ist eine teilkategorie von BodyVessel
(subclass Rectum Organ) Mid-level-ontology.kif 12096-12096 Rectum ist eine teilkategorie von Organ
(typicalPart Rectum GastroIntestinalTract) Mid-level-ontology.kif 12088-12088 typicalPart Rectum and GastroIntestinalTract

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


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

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