TreeView Knowledge Base Browser - Pedialyte

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Pedialyte

Pedialyte(Pedialyte)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4809-4812
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4813-4813	The maker of Pedialyte is Abbott
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4808-4808	Pedialyte is a subclass of beverage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 4814-4814

antecedent

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 4816-4833

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