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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EskimoAleutLanguage

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 31466-31466 roomTempState Schnapps and Liquid
(subclass Schnapps Liqueur) Food.kif 3367-3367 Schnapps è una sottoclasse di Liqueur

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


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

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