Pedialyte - Sigma Knowledge base Browser

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 4797-4800
(manufacturer Pedialyte AbbottLaboratories)	Medicine.kif 4801-4801	The maker of Pedialyte is Abbott
(subclass Pedialyte Beverage)	Medicine.kif 4796-4796	Pedialyte is a subclass of beverage

appearance as argument number 2

(termFormat EnglishLanguage Pedialyte "Pedialyte")

Medicine.kif 4802-4802

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 4804-4821

If a physical is an instance of Pedialyte,
then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityR such that the entity is an instance of human child and the other entity is an instance of diarrhea and the third entity is an instance of vomiting and the entity experiences the other entity and the time of existence of the other entity happens earlier than the time of existence of the other entityR or the entity experiences the third entity and the time of existence of the third entity happens earlier than the time of existence of the other entityR and the other entityR is an instance of drinking and the entity is an agent of the other entityR and the object transferred in the other entityR is the physical

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

KB Term:			Term intersection

English Word: