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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tofu
Tofu

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


(documentation Tofu EnglishLanguage "Tofu or bean curd is a food made by, coagulating soy milk and then pressing the resulting curds into soft white blocks. [Wikipedia]") Food.kif 3510-3512
(subclass Tofu FoodFromPlant) Food.kif 3509-3509
(subclass Tofu PreparedFood) Food.kif 3508-3508

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


(termFormat EnglishLanguage Tofu "tofu") domainEnglishFormat.kif 65606-65606

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


(=>
    (instance ?X Tofu)
    (material Soybean ?X))
Food.kif 3514-3516


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