| SmallIntestine | |
| appearance as argument number 1 |
|
|
| (subclass SmallIntestine BodyVessel) | Mid-level-ontology.kif 12261-12261 | |
| (typicalPart SmallIntestine Intestine) | Mid-level-ontology.kif 12263-12263 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SmallIntestine "small intestine") | domainEnglishFormat.kif 65527-65527 |
| antecedent |
|
|
| (=> (and (instance ?P CeliacDisease) (experiencer ?P ?H1) (instance ?SI SmallIntestine) (part ?SI ?H1)) (modalAttribute (exists (?D) (and (instance ?D Diarrhoea) (experiencer ?D ?H1) (causes ?P ?D))) Likely)) |
Medicine.kif 2735-2747 | |
| (=> (and (instance ?P CeliacDisease) (experiencer ?P ?H1) (instance ?SI SmallIntestine) (part ?SI ?H1)) (modalAttribute (located ?P ?SI) Likely)) |
Medicine.kif 2725-2733 |
|
|
|