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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3441-3443
(subclass Sorbet PreparedFood) Food.kif 3440-3440 Sorbet est une sous-classe de PreparedFood

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