Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Pedialyte
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Pedialyte Beverage) | Medicine.kif 4829-4829 | Pedialyte is a subclass of beverage |
| (documentation Pedialyte EnglishLanguage "Pedialyte is an oral electrolyte solution manufactured by AbbottLaboratories and marketed for use in children. It is designed to promote rehydration and electrolyte replacement in ill children. [from Wikipedia]") | Medicine.kif 4830-4833 | Pedialyte is a subclass of beverage |
| (manufacturer Pedialyte AbbottLaboratories) | Medicine.kif 4834-4834 | The maker of Pedialyte is Abbott |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Pedialyte "Pedialyte") | Medicine.kif 4835-4835 |
| antecedent |
|
|
| (=> (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 |
|