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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Whiskey
Whiskey
more pictures...

appearance as argument number 1
-------------------------


(documentation Whiskey EnglishLanguage "A distilled alcoholic beverage made from a CerealGrain typically aged in oak casks.") Food.kif 3611-3612
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Whiskies_of_VariousStyles.jpg") pictureList.kif 6977-6977
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/b/ be/ Glass_of_whisky.jpg") pictureList.kif 8271-8271
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/c/ cb/ WhiskyMaking_Kilned_BarleyMalt.jpg") pictureList.kif 8272-8272
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Scotch_whiskies.jpg") pictureList.kif 8273-8273
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/f/ fa/ Auchentoshan03.jpg") pictureList.kif 8274-8274
(roomTempState Whiskey Liquid) Mid-level-ontology.kif 33387-33387 roomTempState Whiskey and Liquid
(subclass Whiskey DistilledAlcoholicBeverage) Food.kif 3613-3613 WhiskeyDistilledAlcoholicBeveragesubclass では

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


(subclass JamesonsWhiskey Whiskey) Food.kif 2598-2598 JamesonsWhiskeyWhiskeysubclass では
(termFormat ChineseLanguage Whiskey "威士忌酒") domainEnglishFormat.kif 62997-62997 JamesonsWhiskeyWhiskeysubclass では
(termFormat ChineseTraditionalLanguage Whiskey "威士忌酒") domainEnglishFormat.kif 62996-62996 JamesonsWhiskeyWhiskeysubclass では
(termFormat EnglishLanguage Whiskey "whiskey") domainEnglishFormat.kif 62995-62995 JamesonsWhiskeyWhiskeysubclass では

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


(=>
    (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 3624-3639
(=>
    (instance ?W Whiskey)
    (exists (?D ?CG)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?W))))
Food.kif 3615-3622


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