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