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 | manufacturer Pedialyte and AbbottLaboratories |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4808-4808 | Pedialyte est une sous-classe de boisson |
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 |
|