Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SmallIntestine(small intestine) |  | small_intestine |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SmallIntestine "small intestine") | domainEnglishFormat.kif 65505-65505 |
| antecedent |
|
|
| (=> (and (instance ?P CeliacDisease) (experiencer ?P ?H1) (instance ?SI SmallIntestine) (part ?SI ?H1)) (modalAttribute (located ?P ?SI) Likely)) |
Medicine.kif 2734-2742 | If X is an instance of coeliac disease, Y experiences X, Z is an instance of small intestine, and Z is a part of Y, then the statement X is located at Z has the modal force of likely |
| (=> (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 2744-2756 | If X is an instance of coeliac disease, Y experiences X, Z is an instance of small intestine, and Z is a part of Y, then the statement there exists W such that W is an instance of Diarrhoea, Y experiences W, and X causes W has the modal force of likely |
|