Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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


    (instance ?P Pedialyte)
    (hasPurpose ?P
        (exists (?C ?D ?V ?DR)
                (instance ?C HumanChild)
                (instance ?D Diarrhea)
                (instance ?V Vomiting)
                        (experiencer ?D ?C)
                            (WhenFn ?D)
                            (WhenFn ?DR)))
                        (experiencer ?V ?C)
                            (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