appearance as argument number 1 |
![]() |
(documentation Wine EnglishLanguage "An AlcoholicBeverage that is prepared by fermenting the juice of grapes.") | Mid-level-ontology.kif 11813-11814 | |
(externalImage Wine "http://articulatesoftware.com/SUMOpictures/holiday/ wine3.png") | pictureList.kif 842-842 | |
(roomTempState Wine Liquid) | Mid-level-ontology.kif 32545-32545 | roomTempState wine and liquid |
(subclass Wine AlcoholicBeverage) | Mid-level-ontology.kif 11812-11812 | 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 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 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 |
|
![]() |
![]() |