| Tofu(tofu) | | bean_curd, 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 is a subclass of food from plant |
| (subclass Tofu PreparedFood) | Food.kif 3508-3508 | Tofu is a subclass of prepared food |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Tofu "tofu") | domainEnglishFormat.kif 65654-65654 |
| antecedent |
|
|
| (=> (instance ?X Tofu) (material Soybean ?X)) |
Food.kif 3514-3516 |
|
|
|
|