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 3604-3605
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Whiskies_of_VariousStyles.jpg") pictureList.kif 6978-6978
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/b/ be/ Glass_of_whisky.jpg") pictureList.kif 8272-8272
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/c/ cb/ WhiskyMaking_Kilned_BarleyMalt.jpg") pictureList.kif 8273-8273
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Scotch_whiskies.jpg") pictureList.kif 8274-8274
(externalImage Whiskey "http://upload.wikimedia.org/wikipedia/commons/f/ fa/ Auchentoshan03.jpg") pictureList.kif 8275-8275
(roomTempState Whiskey Liquid) Mid-level-ontology.kif 31474-31474 roomTempState 威士忌酒 and 液體
(subclass Whiskey DistilledAlcoholicBeverage) Food.kif 3606-3606 子類 威士忌酒 and 蒸餾酒精飲料

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


(subclass JamesonsWhiskey Whiskey) Food.kif 2591-2591 子類 JamesonsWhiskey and 威士忌酒
(termFormat ChineseLanguage Whiskey "威士忌酒") domainEnglishFormat.kif 63005-63005
(termFormat ChineseTraditionalLanguage Whiskey "威士忌酒") domainEnglishFormat.kif 63004-63004
(termFormat EnglishLanguage Whiskey "whiskey") domainEnglishFormat.kif 63003-63003

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


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