Pedialyte
|
|
appearance as argument number 1 |
(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 4809-4812 | |
(manufacturer Pedialyte AbbottLaboratories) | Medicine.kif 4813-4813 | |
(subclass Pedialyte Beverage) | Medicine.kif 4808-4808 |
appearance as argument number 2 |
(termFormat EnglishLanguage Pedialyte "Pedialyte") | Medicine.kif 4814-4814 |
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 4816-4833 |