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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sorbet

Sigma KEE - Sorbet
Sorbet

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


(documentation Sorbet EnglishLanguage "Sorbet is a frozen dessert made from sweetened water flavored with fruit (typically juice or puree), and also sometimes wine and/ or liqueur. [Wikipedia]") Food.kif 858-860
(subclass Sorbet PreparedFood) Food.kif 857-857

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


(=>
    (instance ?S Sorbet)
    (material Fruit ?S))
Food.kif 865-867
(=>
    (instance ?S Sorbet)
    (material Sugar ?S))
Food.kif 869-871
(=>
    (instance ?S Sorbet)
    (material Water ?S))
Food.kif 861-863


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