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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Vodka

appearance as argument number 1

(documentation Vodka EnglishLanguage "A DistilledAlcoholicBeverage made from a CerealGrain to which water is added prior to drinking.") Food.kif 3585-3586
(roomTempState Vodka Liquid) Mid-level-ontology.kif 31435-31435
(subclass Vodka DistilledAlcoholicBeverage) Food.kif 3584-3584

appearance as argument number 2

(subclass Absolut Vodka) Food.kif 2059-2059
(subclass Stolichnoya Vodka) Food.kif 3478-3478
(termFormat EnglishLanguage Vodka "vodka") domainEnglishFormat.kif 65709-65709


    (instance ?V Vodka)
    (exists (?D ?CG)
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?V))))
Food.kif 3595-3602
    (instance ?V Vodka)
    (exists (?W)
            (instance ?W DrinkingWater)
            (part ?W ?V))))
Food.kif 3588-3593

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