|
|
   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 | manufacturer Pedialyte and AbbottLaboratories |
| (subclass Pedialyte Beverage) | Medicine.kif 4808-4808 | Pedialyte est une sous-classe de boisson |
| 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 |
|
|
|
|