Rectum(rectum) | rectum |
appearance as argument number 1 |
(connectedBodyPart Rectum Anus) | Mid-level-ontology.kif 12094-12094 | 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 12099-12101 | |
(subclass Rectum AnimalAnatomicalStructure) | Mid-level-ontology.kif 12098-12098 | Rectum is a subclass of animal anatomical structure |
(subclass Rectum BodyVessel) | Mid-level-ontology.kif 12097-12097 | Rectum is a subclass of body vessel |
(subclass Rectum Organ) | Mid-level-ontology.kif 12096-12096 | Rectum is a subclass of organ |
(typicalPart Rectum GastroIntestinalTract) | Mid-level-ontology.kif 12088-12088 | A rectum is typically a part of a GI |
appearance as argument number 2 |
(connectedBodyPart Intestine Rectum) | Mid-level-ontology.kif 12093-12093 | A intestine is connected to a 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 |
|