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