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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sorbet

Sigma KEE - Sorbet
Sorbet(sorbet)sorbet, water_ice

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 3441-3443
(subclass Sorbet PreparedFood) Food.kif 3440-3440 Sorbet is a subclass of prepared food

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


(termFormat EnglishLanguage Sorbet "sorbet") domainEnglishFormat.kif 65518-65518

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


(=>
    (instance ?S Sorbet)
    (material DrinkingWater ?S))
Food.kif 3444-3446
(=>
    (instance ?S Sorbet)
    (material Fruit ?S))
Food.kif 3448-3450
(=>
    (instance ?S Sorbet)
    (material Sugar ?S))
Food.kif 3452-3454


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