Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Cask(cask) |  | barrel, beer_barrel, beer_keg, butt, cask, hogshead, keg, pickle_barrel, tun, wine_barrel, wine_cask |
| appearance as argument number 1 |
|
|
| (subclass Cask FluidContainer) | Food.kif 3614-3614 | Cask is a subclass of fluid container |
| (documentation Cask EnglishLanguage "A FluidContainer made of Wood, typically used during the modern area for ageing of alcoholic beverages.") | Food.kif 3615-3616 | Cask is a subclass of fluid container |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cask "cask") | domainEnglishFormat.kif 64602-64602 |
| antecedent |
|
|
| (=> (instance ?C Cask) (material Wood ?C)) |
Food.kif 3617-3619 | If X is an instance of cask, then X is made of wood |
| 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 3654-3669 | If X is an instance of whiskey, Y is an instance of distilling, X is a result of Y, X is a resource for Z, and Z is an instance of drinking, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of cask (3) U is an instance of hole (4) U is a hole in W (5) X partially fills W holds during V (6) Y happens earlier than V (7) V happens earlier than Z |
|