appearance as argument number 1 |
(documentation Wine EnglishLanguage "An AlcoholicBeverage that is prepared by fermenting the juice of grapes.") | Mid-level-ontology.kif 11135-11136 | |
(externalImage Wine "http://articulatesoftware.com/SUMOpictures/holiday/ wine3.png") | pictureList.kif 842-842 | |
(roomTempState Wine Liquid) | Mid-level-ontology.kif 31687-31687 | roomTempState wine and liquid |
(subclass Wine AlcoholicBeverage) | Mid-level-ontology.kif 11134-11134 | Wine is a subclass of alcoholic beverage |
appearance as argument number 2 |
(subclass Champagne Wine) | Food.kif 2433-2433 | Champagne is a subclass of wine |
(termFormat ChineseLanguage Wine "葡萄酒") | domainEnglishFormat.kif 63207-63207 | Champagne is a subclass of wine |
(termFormat ChineseTraditionalLanguage Wine "葡萄酒") | domainEnglishFormat.kif 63206-63206 | Champagne is a subclass of wine |
(termFormat EnglishLanguage Wine "wine") | domainEnglishFormat.kif 63205-63205 | 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 3692-3699 |
|
(=> (instance ?B Brandy) (exists (?D ?W) (and (instance ?D Distilling) (instance ?W Wine) (resource ?D ?W) (result ?D ?B)))) |
Food.kif 3638-3645 |
|