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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Vodka
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 31439-31439 roomTempState Vodka and 液体
(subclass Vodka DistilledAlcoholicBeverage) Food.kif 3584-3584 Vodka蒸馏酒精饮料subclass

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


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

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


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


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