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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cask

Sigma KEE - Cask
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液体容器subclass

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


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

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


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