appearance as argument number 1 |
![]() |
(externalImage Wine "http://www.adampease.org/Articulate/SUMOpictures/pictures/ holiday/ wine3.png") | pictureList.kif 842-842 | |
(subclass Wine AlcoholicBeverage) | Mid-level-ontology.kif 9333-9333 | Wine is a subclass of alcoholic beverage |
appearance as argument number 2 |
![]() |
(subclass Champagne Wine) | Food.kif 514-514 | Champagne is a subclass of wine |
(termFormat ChineseLanguage Wine "葡萄酒") | domainEnglishFormat.kif 63149-63149 | |
(termFormat ChineseTraditionalLanguage Wine "葡萄酒") | domainEnglishFormat.kif 63148-63148 | |
(termFormat EnglishLanguage Wine "wine") | domainEnglishFormat.kif 63147-63147 |
consequent |
![]() |
(=> (instance ?B Brandy) (exists (?D ?W) (and (instance ?D Distilling) (instance ?W Wine) (resource ?D ?W) (result ?D ?B)))) |
Food.kif 1061-1068 |
|
![]() |
![]() |