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 |
(roomTempState Soda Liquid) | Mid-level-ontology.kif 31479-31479 | roomTempState soda and liquid |
(subclass Soda Beverage) | Food.kif 3431-3431 | Soda is a subclass of beverage |
(subclass Soda Colloid) | Food.kif 3432-3432 | Soda is a subclass of colloid |
appearance as argument number 2 |
(subclass CocaCola Soda) | Food.kif 2533-2533 | Coca-Cola is a subclass of soda |
(termFormat EnglishLanguage Soda "soda") | domainEnglishFormat.kif 65511-65511 |
antecedent |
(=> (instance ?S Soda) (exists (?CD) (and (instance ?CD CarbonDioxide) (part ?CD ?S)))) |
Food.kif 3433-3438 |
|