Whiskey - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Whiskey

Whiskey(whiskey)

more pictures...

Irish, Irish_whiskey, Irish_whisky, Scotch, Scotch_malt_whiskey, Scotch_malt_whisky, Scotch_whiskey, Scotch_whisky, blended_whiskey, blended_whisky, bourbon, corn, corn_whiskey, corn_whisky, malt_whiskey, malt_whisky, poteen, rye, rye_whiskey, rye_whisky, sour_mash, sour_mash_whiskey, whiskey, whiskey_neat, whiskey_on_the_rocks, whisky, whisky_neat, whisky_on_the_rocks

appearance as argument number 1

(documentation Whiskey EnglishLanguage "A distilled alcoholic beverage made from a CerealGrain typically aged in oak casks.")	Food.kif 1027-1028
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Whiskies_of_VariousStyles.jpg")	pictureList.kif 6979-6979
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/b/ be/ Glass_of_whisky.jpg")	pictureList.kif 8274-8274
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/c/ cb/ WhiskyMaking_Kilned_BarleyMalt.jpg")	pictureList.kif 8275-8275
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Scotch_whiskies.jpg")	pictureList.kif 8276-8276
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/f/ fa/ Auchentoshan03.jpg")	pictureList.kif 8277-8277
(subclass Whiskey DistilledAlcoholicBeverage)	Food.kif 1029-1029	Whiskey is a subclass of distilled alcoholic beverage

appearance as argument number 2

(subclass JamesonsWhiskey Whiskey)	Food.kif 587-587	JamesonsWhiskey is a subclass of whiskey
(termFormat ChineseLanguage Whiskey "威士忌酒")	domainEnglishFormat.kif 62890-62890
(termFormat ChineseTraditionalLanguage Whiskey "威士忌酒")	domainEnglishFormat.kif 62889-62889
(termFormat EnglishLanguage Whiskey "whiskey")	domainEnglishFormat.kif 62888-62888

antecedent

(=> (and (instance ?W Whiskey) (instance ?D Distilling) (result ?D ?W) (resource ?DR ?W) (instance ?DR Drinking)) (exists (?C ?T) (and (instance ?C Cask) (instance ?H Hole) (hole ?H ?C) (holdsDuring ?T (partiallyFills ?W ?C)) (earlier ?D ?T) (earlier ?T ?DR))))	Food.kif 1040-1055	If an object is an instance of whiskey and a time interval is an instance of distilling and the object is a result of the time interval and the object is a resource for the time intervalR and the time intervalR is an instance of drinking, then there exist a self connected object and a third time interval such that the self connected object is an instance of Cask and a hole is an instance of hole and the hole is a hole in the self connected object and the object partially fills the self connected object holds during the third time interval and the time interval happens earlier than the third time interval and the third time interval happens earlier than the time intervalR
(=> (instance ?W Whiskey) (exists (?D) (and (instance ?D Distilling) (instance ?CG CerealGrain) (resource ?D ?CG) (result ?D ?W))))	Food.kif 1031-1038	If an entity is an instance of whiskey, then there exists a process such that the process is an instance of distilling and an object is an instance of cereal grain and the object is a resource for the process and the entity is a result of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners