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 ist eine teilkategorie von Beverage |
(subclass Soda Colloid) | Food.kif 3432-3432 | Soda ist eine teilkategorie von Colloid |
appearance as argument number 2 |
(subclass CocaCola Soda) | Food.kif 2533-2533 | CocaCola ist eine teilkategorie von 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 |
|