Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Cocktail(cocktail) |  | Bloody_Mary, Dom_Pedro, Harvey_Wallbanger, Rob_Roy, Sazerac, Scotch_and_soda, Tom_Collins, Tom_and_Jerry, brandy_sling, bullshot, cobbler, cocktail, collins, cooler, daiquiri, flip, gimlet, gin_and_it, gin_and_tonic, gin_sling, grasshopper, highball, hot_toddy, julep, manhattan, margarita, martini, mint_julep, old_fashioned, pink_lady, posset, rum_cocktail, rum_sling, sangaree, sangria, screwdriver, shandy, shandygaff, sidecar, sillabub, sling, sour, spritzer, stinger, strawberry_daiquiri, swizzle, syllabub, toddy, vodka_martini, whiskey_sour... |
| appearance as argument number 1 |
|
|
| (subclass Cocktail AlcoholicBeverage) | Society.kif 1317-1317 | Cocktail is a subclass of alcoholic beverage |
| (documentation Cocktail EnglishLanguage "A cocktail is a mixed drink typically made with a distilled beverage (such as gin, vodka, whiskey, tequila, or rum) that is mixed with other ingredients.") | Society.kif 1318-1319 | Cocktail is a subclass of alcoholic beverage |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cocktail "cocktail") | domainEnglishFormat.kif 64658-64658 |
|