| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15054-15054 | 子類 FruitOrVegetable and 植物解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15055-15055 | 子類 FruitOrVegetable and ReproductiveBody |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2154-2154 | 子類 Herb and FruitOrVegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2175-2175 | 子類 水果 and FruitOrVegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2391-2391 | 子類 Broccoli and FruitOrVegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2684-2684 | 子類 Mushroom and FruitOrVegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3358-3358 | 子類 Scallion and FruitOrVegetable |
| 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. | Economy.kif 4287-4287 | 子類 根菜類 and FruitOrVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4336-4336 | 子類 豆科植物 and FruitOrVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4470-4470 | 子類 食用堅果 and FruitOrVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4486-4486 | 子類 花生 and FruitOrVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4706-4706 | 子類 茶樹空中部分 and FruitOrVegetable |
|
|