| SmallIntestine | |
| appearance as argument number 1 |
|
|
| (subclass SmallIntestine BodyVessel) | Mid-level-ontology.kif 12043-12043 | SmallIntestine 是 身体管道 的 subclass |
| (typicalPart SmallIntestine Intestine) | Mid-level-ontology.kif 12045-12045 | SmallIntestine typically 是 肠 的 part |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SmallIntestine "small intestine") | domainEnglishFormat.kif 65502-65502 |
| 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 |
|
|
|