| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4206-4206 | 子類 蔬菜 and FruitOrVegetable |
| 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. | 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. | Economy.kif 4210-4210 | 子類 綠葉蔬菜 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 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. | Economy.kif 4271-4271 | 子類 茄子 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. | 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 4464-4464 | 子類 生薑 and 蔬菜 |
|
|