TreeView Knowledge Base Browser - Whiskey

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

No TPTP formula. May not be expressible in strict first order.	Food.kif 3604-3605
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6978-6978
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8272-8272
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8273-8273
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8274-8274
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8275-8275
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31442-31442	roomTempState whiskey and liquid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3606-3606	Whiskey is a subclass of distilled alcoholic beverage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2591-2591	Jamesons whiskey is a subclass of whiskey
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63003-63003
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63002-63002
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63001-63001

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3617-3632	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, a third time interval and a hole such that the self connected object is an instance of cask and the 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
No TPTP formula. May not be expressible in strict first order.	Food.kif 3608-3615	If an entity is an instance of whiskey, then there exist a process and an object such that the process is an instance of distilling and the 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners