TreeView Knowledge Base Browser - Cask

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Cask

Sigma KEE - Cask

Cask(cask)

barrel, beer_barrel, beer_keg, butt, cask, hogshead, keg, pickle_barrel, tun, wine_barrel, wine_cask

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 3578-3579
No TPTP formula. May not be expressible in strict first order.	Food.kif 3577-3577	Cask is a subclass of fluid container

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64599-64599

antecedent

No TPTP formula. May not be expressible in strict first order.

Food.kif 3580-3582

If a corpuscular object is an instance of cask,
then the corpuscular object is made of wood

consequent

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

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