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 子類 Tofu and FoodFromPlant
(subclass Tofu PreparedFood) Food.kif 3508-3508 子類 Tofu and 已準備食物

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