Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Diarrhea(diarrhea) |  | Montezuma's_revenge, diarrhea, diarrhoea, looseness, looseness_of_the_bowels, the_shits, the_trots |
| appearance as argument number 1 |
|
|
| (instance Diarrhea DiseaseOrSyndrome) | Mid-level-ontology.kif 7070-7070 | Diarrhea is an instance of disease or syndrome |
| (documentation Diarrhea EnglishLanguage "A DiseaseOrSyndrome of frequent, watery bowel movements. Severe cases can be fatal for the young or weak. It is a common cause of death for the very young in poor developing countries.") | Mid-level-ontology.kif 7071-7073 | Diarrhea is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?P Pedialyte) (hasPurpose ?P (exists (?C ?D ?V ?DR) (and (instance ?C HumanChild) (instance ?D Diarrhea) (instance ?V Vomiting) (or (and (experiencer ?D ?C) (earlier (WhenFn ?D) (WhenFn ?DR))) (and (experiencer ?V ?C) (earlier (WhenFn ?V) (WhenFn ?DR)))) (instance ?DR Drinking) (agent ?DR ?C) (objectTransferred ?DR ?P))))) |
Medicine.kif 4837-4854 | If X is an instance of Pedialyte, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of human child (3) Z is an instance of diarrhea (4) W is an instance of vomiting (5) Y experiences Z (6) the time of existence of Z happens earlier than the time of existence of V or Y experiences W (7) the time of existence of W happens earlier than the time of existence of V (8) V is an instance of drinking (9) Y is an agent of V (10) the object transferred in V is X |
|