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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Schnapps
Schnapps(schnapps)schnapps, schnaps

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


(documentation Schnapps EnglishLanguage "A Liqueur made from distilling fruit.") Food.kif 3366-3366
(roomTempState Schnapps Liquid) Mid-level-ontology.kif 31434-31434 roomTempState schnapps and liquid
(subclass Schnapps Liqueur) Food.kif 3367-3367 Schnapps is a subclass of liqueur

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


(termFormat EnglishLanguage Schnapps "schnapps") domainEnglishFormat.kif 65447-65447

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


(=>
    (instance ?S Schnapps)
    (exists (?D ?F)
        (and
            (instance ?D Distilling)
            (instance ?F Fruit)
            (resource ?D ?F)
            (result ?D ?S))))
Food.kif 3368-3375


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