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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pedialyte

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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