| Sorbet(sorbet) | | sorbet, water_ice |
| appearance as argument number 1 |
|
|
| (documentation Sorbet EnglishLanguage "Sorbet is a frozen dessert made from sweetened water flavored with fruit (typically juice or puree), and also sometimes wine and/ or liqueur. [Wikipedia]") | Food.kif 3441-3443 | |
| (subclass Sorbet PreparedFood) | Food.kif 3440-3440 | Sorbet is a subclass of prepared food |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Sorbet "sorbet") | domainEnglishFormat.kif 65566-65566 |
| antecedent |
|
|
| (=> (instance ?S Sorbet) (material DrinkingWater ?S)) |
Food.kif 3444-3446 |
|
| (=> (instance ?S Sorbet) (material Fruit ?S)) |
Food.kif 3448-3450 |
|
| (=> (instance ?S Sorbet) (material Sugar ?S)) |
Food.kif 3452-3454 |
|
|
|
|