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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Whiskey

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 1072-1073
(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 1074-1074

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


(subclass JamesonsWhiskey Whiskey) Food.kif 632-632
(termFormat EnglishLanguage Whiskey "whiskey") domainEnglishFormat.kif 10925-10925

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 1085-1100
(=>
    (instance ?W Whiskey)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?W))))
Food.kif 1076-1083


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