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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tofu

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

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


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


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