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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Whiskey
Whiskey(whiskey)
more pictures...
Irish, Irish_whiskey, Irish_whisky, Scotch, Scotch_malt_whiskey, Scotch_malt_whisky, Scotch_whiskey, Scotch_whisky, blended_whiskey, blended_whisky, bourbon, corn, corn_whiskey, corn_whisky, malt_whiskey, malt_whisky, poteen, rye, rye_whiskey, rye_whisky, sour_mash, sour_mash_whiskey, whiskey, whiskey_neat, whiskey_on_the_rocks, whisky, whisky_neat, whisky_on_the_rocks

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


(documentation Whiskey EnglishLanguage "A distilled alcoholic beverage made from a CerealGrain typically aged in oak casks.") Food.kif 1027-1028
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Whiskies_of_VariousStyles.jpg") pictureList.kif 6979-6979
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/b/ be/ Glass_of_whisky.jpg") pictureList.kif 8274-8274
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/c/ cb/ WhiskyMaking_Kilned_BarleyMalt.jpg") pictureList.kif 8275-8275
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Scotch_whiskies.jpg") pictureList.kif 8276-8276
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/f/ fa/ Auchentoshan03.jpg") pictureList.kif 8277-8277
(subclass Whiskey DistilledAlcoholicBeverage) Food.kif 1029-1029 Whiskey is a subclass of distilled alcoholic beverage

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


(subclass JamesonsWhiskey Whiskey) Food.kif 587-587 JamesonsWhiskey is a subclass of whiskey
(termFormat ChineseLanguage Whiskey "威士忌酒") domainEnglishFormat.kif 62890-62890
(termFormat ChineseTraditionalLanguage Whiskey "威士忌酒") domainEnglishFormat.kif 62889-62889
(termFormat EnglishLanguage Whiskey "whiskey") domainEnglishFormat.kif 62888-62888

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


(=>
    (and
        (instance ?W Whiskey)
        (instance ?D Distilling)
        (result ?D ?W)
        (resource ?DR ?W)
        (instance ?DR Drinking))
    (exists (?C ?T)
        (and
            (instance ?C Cask)
            (instance ?H Hole)
            (hole ?H ?C)
            (holdsDuring ?T
                (partiallyFills ?W ?C))
            (earlier ?D ?T)
            (earlier ?T ?DR))))
Food.kif 1040-1055
(=>
    (instance ?W Whiskey)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?W))))
Food.kif 1031-1038


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners