No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6197-6197 |
蔬菜 是 蔬菜種植 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4234-4234 |
子類 捲心菜 and 蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4262-4262 |
子類 菜花 and 蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2425-2425 |
子類 Celery and 蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4220-4220 |
子類 黃瓜 and 蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4271-4271 |
子類 茄子 and 蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4464-4464 |
子類 生薑 and 蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4210-4210 |
子類 綠葉蔬菜 and 蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4333-4333 |
子類 南瓜屬 and 蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4334-4334 |
子類 甜菜 and 蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4352-4352 |
子類 甘蔗 and 蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4332-4332 |
子類 甜椒 and 蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3647-3647 |
子類 WaterChestnut and 蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3649-3649 |
子類 Zucchini and 蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61306-61306 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61305-61305 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61304-61304 |
|