Whiskey![]() ![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Whiskey EnglishLanguage "A distilled alcoholic beverage made from a CerealGrain typically aged in oak casks.") | Food.kif 3611-3612 | |
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Whiskies_of_VariousStyles.jpg") | pictureList.kif 6977-6977 | |
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/b/ be/ Glass_of_whisky.jpg") | pictureList.kif 8271-8271 | |
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/c/ cb/ WhiskyMaking_Kilned_BarleyMalt.jpg") | pictureList.kif 8272-8272 | |
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Scotch_whiskies.jpg") | pictureList.kif 8273-8273 | |
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/f/ fa/ Auchentoshan03.jpg") | pictureList.kif 8274-8274 | |
(roomTempState Whiskey Liquid) | Mid-level-ontology.kif 33387-33387 | roomTempState Whiskey and Liquid |
(subclass Whiskey DistilledAlcoholicBeverage) | Food.kif 3613-3613 | Whiskey は DistilledAlcoholicBeverage の subclass では |
appearance as argument number 2 |
![]() |
(subclass JamesonsWhiskey Whiskey) | Food.kif 2598-2598 | JamesonsWhiskey は Whiskey の subclass では |
(termFormat ChineseLanguage Whiskey "威士忌酒") | domainEnglishFormat.kif 62997-62997 | JamesonsWhiskey は Whiskey の subclass では |
(termFormat ChineseTraditionalLanguage Whiskey "威士忌酒") | domainEnglishFormat.kif 62996-62996 | JamesonsWhiskey は Whiskey の subclass では |
(termFormat EnglishLanguage Whiskey "whiskey") | domainEnglishFormat.kif 62995-62995 | JamesonsWhiskey は Whiskey の subclass では |
antecedent |
![]() |
(=> (and (instance ?W Whiskey) (instance ?D Distilling) (result ?D ?W) (resource ?DR ?W) (instance ?DR Drinking)) (exists (?C ?T ?H) (and (instance ?C Cask) (instance ?H HoleRegion) (hole ?H ?C) (holdsDuring ?T (partiallyFills ?W ?C)) (earlier ?D ?T) (earlier ?T ?DR)))) |
Food.kif 3624-3639 |
|
(=> (instance ?W Whiskey) (exists (?D ?CG) (and (instance ?D Distilling) (instance ?CG CerealGrain) (resource ?D ?CG) (result ?D ?W)))) |
Food.kif 3615-3622 |
![]() |
![]() |