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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DistilledAlcoholicBeverage

Sigma KEE - DistilledAlcoholicBeverage
DistilledAlcoholicBeverage(蒸餾酒精飲料)

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


(documentation DistilledAlcoholicBeverage EnglishLanguage "An AlcoholicBeverage that has had some part of its FreshWater content removed by distillation. This class covers drinks of unmixed, hard liquor.") Mid-level-ontology.kif 10921-10923
(roomTempState DistilledAlcoholicBeverage Liquid) Mid-level-ontology.kif 31424-31424 roomTempState 蒸餾酒精飲料 and 液體
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 10920-10920 子類 蒸餾酒精飲料 and 酒精飲料

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


(subclass Aperitif DistilledAlcoholicBeverage) Food.kif 2093-2093 子類 Aperitif and 蒸餾酒精飲料
(subclass Brandy DistilledAlcoholicBeverage) Food.kif 3635-3635 子類 白蘭地 and 蒸餾酒精飲料
(subclass Liqueur DistilledAlcoholicBeverage) Food.kif 2643-2643 子類 Liqueur and 蒸餾酒精飲料
(subclass Rum DistilledAlcoholicBeverage) Food.kif 3338-3338 子類 Rum and 蒸餾酒精飲料
(subclass Tequila DistilledAlcoholicBeverage) Food.kif 3494-3494 子類 Tequila and 蒸餾酒精飲料
(subclass Vodka DistilledAlcoholicBeverage) Food.kif 3584-3584 子類 Vodka and 蒸餾酒精飲料
(subclass Whiskey DistilledAlcoholicBeverage) Food.kif 3606-3606 子類 威士忌酒 and 蒸餾酒精飲料
(termFormat ChineseLanguage DistilledAlcoholicBeverage "蒸馏酒精饮料") domainEnglishFormat.kif 19944-19944
(termFormat ChineseTraditionalLanguage DistilledAlcoholicBeverage "蒸餾酒精飲料") domainEnglishFormat.kif 19943-19943
(termFormat EnglishLanguage DistilledAlcoholicBeverage "distilled alcoholic beverage") domainEnglishFormat.kif 19942-19942

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


(=>
    (instance ?BEVERAGE DistilledAlcoholicBeverage)
    (exists (?REMOVE ?WATER)
        (and
            (instance ?REMOVE Removing)
            (patient ?REMOVE ?WATER)
            (instance ?WATER FreshWater)
            (origin ?REMOVE ?BEVERAGE))))
Mid-level-ontology.kif 10925-10932


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