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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chocolate
Chocolate

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


(documentation Chocolate EnglishLanguage "Chocolate is a food made from roasted and ground cacao seed kernels that is available as a liquid, solid, or paste, either on its own or as a flavoring agent in other foods. [wikipedia]") Food.kif 2436-2438
(initialPart Chocolate CocoaBean) Food.kif 2439-2439
(subclass Chocolate PreparedFood) Food.kif 2435-2435

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


(subclass ChocolateCandy Chocolate) Food.kif 2495-2495
(subclass CocoaButter Chocolate) Food.kif 2488-2488
(subclass CocoaLiquor Chocolate) Food.kif 2441-2441
(subclass CocoaSolid Chocolate) Food.kif 2480-2480
(termFormat EnglishLanguage Chocolate "chocolate") domainEnglishFormat.kif 64631-64631


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