| Soda | |
| appearance as argument number 1 |
|
|
| (roomTempState Soda Liquid) | Mid-level-ontology.kif 31712-31712 | |
| (subclass Soda Beverage) | Food.kif 3431-3431 | |
| (subclass Soda Colloid) | Food.kif 3432-3432 |
| appearance as argument number 2 |
|
|
| (subclass CocaCola Soda) | Food.kif 2533-2533 | |
| (termFormat EnglishLanguage Soda "soda") | domainEnglishFormat.kif 65534-65534 |
| antecedent |
|
|
| (=> (instance ?S Soda) (exists (?CD) (and (instance ?CD CarbonDioxide) (part ?CD ?S)))) |
Food.kif 3433-3438 |
|
|
|