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