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