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 Liquid
(subclass Vodka DistilledAlcoholicBeverage) Food.kif 3584-3584 VodkaDistilledAlcoholicBeveragesubclass では %n

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


(subclass Absolut Vodka) Food.kif 2059-2059 AbsolutVodkasubclass では %n
(subclass Stolichnoya Vodka) Food.kif 3478-3478 StolichnoyaVodkasubclass では %n
(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