Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Rectum(rectum) |  | rectum |
| 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 |
|