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 9336-9338
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) Mid-level-ontology.kif 9335-9335 subclass DistilledAlcoholicBeverage and AlcoholicBeverage

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


(subclass Aperitif DistilledAlcoholicBeverage) Food.kif 427-427 subclass Aperitif and DistilledAlcoholicBeverage
(subclass Brandy DistilledAlcoholicBeverage) Food.kif 1058-1058 subclass Brandy and DistilledAlcoholicBeverage
(subclass Liqueur DistilledAlcoholicBeverage) Food.kif 636-636 subclass Liqueur and DistilledAlcoholicBeverage
(subclass Rum DistilledAlcoholicBeverage) Food.kif 794-794 subclass Rum and DistilledAlcoholicBeverage
(subclass Tequila DistilledAlcoholicBeverage) Food.kif 918-918 subclass Tequila and DistilledAlcoholicBeverage
(subclass Vodka DistilledAlcoholicBeverage) Food.kif 1007-1007 subclass Vodka and DistilledAlcoholicBeverage
(subclass Whiskey DistilledAlcoholicBeverage) Food.kif 1029-1029 subclass Whiskey and DistilledAlcoholicBeverage
(termFormat ChineseLanguage DistilledAlcoholicBeverage "蒸馏酒精饮料") domainEnglishFormat.kif 19867-19867
(termFormat ChineseTraditionalLanguage DistilledAlcoholicBeverage "蒸餾酒精飲料") domainEnglishFormat.kif 19866-19866
(termFormat EnglishLanguage DistilledAlcoholicBeverage "distilled alcoholic beverage") domainEnglishFormat.kif 19865-19865

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


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


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