| 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 3448-3450 | |
| (subclass Sorbet PreparedFood) | Food.kif 3447-3447 | Sorbet is a subclass of prepared food |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Sorbet "sorbet") | domainEnglishFormat.kif 65541-65541 |
| antecedent |
|
|
| (=> (instance ?S Sorbet) (material DrinkingWater ?S)) |
Food.kif 3451-3453 |
|
| (=> (instance ?S Sorbet) (material Fruit ?S)) |
Food.kif 3455-3457 |
|
| (=> (instance ?S Sorbet) (material Sugar ?S)) |
Food.kif 3459-3461 |
|
|
|
|