Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 est une sous-classe de FluidContainer

appearance as argument number 2

(termFormat EnglishLanguage Cask "cask") domainEnglishFormat.kif 64599-64599


    (instance ?C Cask)
    (material Wood ?C))
Food.kif 3580-3582


        (instance ?W Whiskey)
        (instance ?D Distilling)
        (result ?D ?W)
        (resource ?DR ?W)
        (instance ?DR Drinking))
    (exists (?C ?T ?H)
            (instance ?C Cask)
            (instance ?H HoleRegion)
            (hole ?H ?C)
            (holdsDuring ?T
                (partiallyFills ?W ?C))
            (earlier ?D ?T)
            (earlier ?T ?DR))))
Food.kif 3617-3632

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