LargeIntestine(large intestine) |
appearance as argument number 1 |
(subclass LargeIntestine BodyVessel) | Mid-level-ontology.kif 12041-12041 | Large intestine is a subclass of body vessel |
(typicalPart LargeIntestine Intestine) | Mid-level-ontology.kif 12043-12043 | A large intestine is typically a part of a intestine |
appearance as argument number 2 |
(termFormat EnglishLanguage LargeIntestine "large intestine") | domainEnglishFormat.kif 65102-65102 |
consequent |
(=> (and (instance ?IBD UlcerativeColitis) (experiencer ?IBD ?H)) (or (attribute ?H (ImpairedBodyPartFn LargeIntestine)) (attribute ?H (ImpairedBodyPartFn Rectum)))) |
Medicine.kif 2301-2309 |
|