| appearance as argument number 1 |
|
|
| (documentation Wine EnglishLanguage "An AlcoholicBeverage that is prepared by fermenting the juice of grapes.") | Mid-level-ontology.kif 12266-12267 | |
| (externalImage Wine "http://articulatesoftware.com/SUMOpictures/holiday/ wine3.png") | pictureList.kif 842-842 | |
| (roomTempState Wine Liquid) | Mid-level-ontology.kif 33126-33126 | room temperature state wine and liquid |
| (subclass Wine AlcoholicBeverage) | Mid-level-ontology.kif 12265-12265 | Wine is a subclass of alcoholic beverage |
| appearance as argument number 2 |
|
|
| (subclass Champagne Wine) | Food.kif 2440-2440 | Champagne is a subclass of wine |
| (termFormat ChineseLanguage Wine "葡萄酒") | domainEnglishFormat.kif 63182-63182 | Champagne is a subclass of wine |
| (termFormat ChineseTraditionalLanguage Wine "葡萄酒") | domainEnglishFormat.kif 63181-63181 | Champagne is a subclass of wine |
| (termFormat EnglishLanguage Wine "wine") | domainEnglishFormat.kif 63180-63180 | Champagne is a subclass of wine |
| consequent |
|
|
| (=> (and (instance ?F Fermentation) (patient ?F ?X) (instance ?X (JuiceOfFn WineGrape)) (result ?F ?W)) (instance ?W Wine)) |
Food.kif 3699-3706 |
|
| (=> (instance ?B Brandy) (exists (?D ?W) (and (instance ?D Distilling) (instance ?W Wine) (resource ?D ?W) (result ?D ?B)))) |
Food.kif 3645-3652 |
|
|
|
|