Cask
|
|
appearance as argument number 1 |
(documentation Cask EnglishLanguage "A FluidContainer made of Wood, typically used during the modern area for ageing of alcoholic beverages.") | Food.kif 3578-3579 | |
(subclass Cask FluidContainer) | Food.kif 3577-3577 | Cask 是 液体容器 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage Cask "cask") | domainEnglishFormat.kif 64601-64601 |
antecedent |
(=> (instance ?C Cask) (material Wood ?C)) |
Food.kif 3580-3582 |
consequent |
(=> (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 3617-3632 |
|