Cask - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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

(documentation Cask EnglishLanguage "A FluidContainer made of Wood, typically used during the modern area for ageing of alcoholic beverages.")	Food.kif 3578-3579
(subclass Cask FluidContainer)	Food.kif 3577-3577	Cask is a subclass of fluid container

appearance as argument number 2

(termFormat EnglishLanguage Cask "cask")

domainEnglishFormat.kif 64647-64647

antecedent

(=>
(instance ?C Cask)
(material Wood ?C))

Food.kif 3580-3582

If a corpuscular object is an instance of cask,
then the corpuscular object 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 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 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 3.0 is open source software produced by Articulate Software and its partners