| Soda(soda) | | Coca_Cola, Coke, Pepsi, Pepsi_Cola, birch_beer, bitter_lemon, cola, cream_soda, dope, egg_cream, ginger_ale, ginger_pop, orange_soda, phosphate, pop, quinine_water, root_beer, sarsaparilla, soda, soda_pop, soda_water, tonic, tonic_water |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31447-31447 | roomTempState soda and liquid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3431-3431 | Soda is a subclass of beverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3432-3432 | Soda is a subclass of colloid |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2533-2533 | Coca-Cola is a subclass of soda |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65509-65509 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3433-3438 |
|
|
|
|