Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Bloating(bloating) |  | bloat |
| appearance as argument number 1 |
|
|
| (subclass Bloating Increasing) | Mid-level-ontology.kif 7541-7541 | Bloating is a subclass of increasing |
| (subclass Bloating PathologicProcess) | Mid-level-ontology.kif 7542-7542 | Bloating is a subclass of pathologic process |
| (documentation Bloating EnglishLanguage "Any Process where the stomach or instestines of a Human or Animal become distended from excessive gas.") | Mid-level-ontology.kif 7543-7544 | Bloating is a subclass of pathologic process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?B Bloating) (exists (?P ?S ?I ?G) (and (experiencer ?B ?P) (instance ?G Gas) (or (and (part ?I ?P) (instance ?I Intestine) (contains ?I ?G)) (and (part ?S ?P) (instance ?S Stomach) (contains ?S ?G)))))) |
Mid-level-ontology.kif 7546-7560 | If X is an instance of bloating, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y experiences X (3) V is an instance of gas (4) W is a part of Y (5) W is an instance of intestine (6) W contains V or Z is a part of Y (7) Z is an instance of stomach (8) Z contains V |
|