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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Schnapps

Sigma KEE - Schnapps
Schnapps

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
(subclass Schnapps Liqueur) Food.kif 3367-3367

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 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