| 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 是 饮料 的 subclass |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners