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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DistilledAlcoholicBeverage
DistilledAlcoholicBeverage

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


(documentation DistilledAlcoholicBeverage EnglishLanguage "An AlcoholicBeverage that has had some part of its Water content removed by distillation. This class covers drinks of unmixed, hard liquor.") Mid-level-ontology.kif 9356-9358
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 9355-9355 subclass DistilledAlcoholicBeverage and AlcoholicBeverage

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


(subclass Aperitif DistilledAlcoholicBeverage) Food.kif 471-471 subclass Aperitif and DistilledAlcoholicBeverage
(subclass Brandy DistilledAlcoholicBeverage) Food.kif 1102-1102 subclass Brandy and DistilledAlcoholicBeverage
(subclass Liqueur DistilledAlcoholicBeverage) Food.kif 680-680 subclass Liqueur and DistilledAlcoholicBeverage
(subclass Rum DistilledAlcoholicBeverage) Food.kif 838-838 subclass Rum and DistilledAlcoholicBeverage
(subclass Tequila DistilledAlcoholicBeverage) Food.kif 962-962 subclass Tequila and DistilledAlcoholicBeverage
(subclass Vodka DistilledAlcoholicBeverage) Food.kif 1051-1051 subclass Vodka and DistilledAlcoholicBeverage
(subclass Whiskey DistilledAlcoholicBeverage) Food.kif 1073-1073 subclass Whiskey and DistilledAlcoholicBeverage
(termFormat ChineseLanguage DistilledAlcoholicBeverage "蒸馏酒精饮料") domainEnglishFormat.kif 19873-19873 termFormat ChineseLanguage, DistilledAlcoholicBeverage and "蒸馏酒精饮料"
(termFormat ChineseTraditionalLanguage DistilledAlcoholicBeverage "蒸餾酒精飲料") domainEnglishFormat.kif 19872-19872 termFormat ChineseTraditionalLanguage, DistilledAlcoholicBeverage and "蒸餾酒精飲料"
(termFormat EnglishLanguage DistilledAlcoholicBeverage "distilled alcoholic beverage") domainEnglishFormat.kif 19871-19871 termFormat EnglishLanguage, DistilledAlcoholicBeverage and "distilled alcoholic beverage"

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


(=>
    (instance ?BEVERAGE DistilledAlcoholicBeverage)
    (exists (?REMOVE ?WATER)
        (and
            (instance ?REMOVE Removing)
            (patient ?REMOVE ?WATER)
            (instance ?WATER Water)
            (origin ?REMOVE ?BEVERAGE))))
Mid-level-ontology.kif 9360-9367


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