| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15054-15054 | 水果或蔬菜 是 植物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15055-15055 | 水果或蔬菜 是 繁殖体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2154-2154 | Herb 是 水果或蔬菜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2175-2175 | 水果 是 水果或蔬菜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2391-2391 | Broccoli 是 水果或蔬菜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2684-2684 | Mushroom 是 水果或蔬菜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3358-3358 | Scallion 是 水果或蔬菜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4206-4206 | 蔬菜 是 水果或蔬菜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4287-4287 | 根菜类 是 水果或蔬菜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4336-4336 | 豆科植物 是 水果或蔬菜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4470-4470 | 食用坚果 是 水果或蔬菜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4486-4486 | 花生 是 水果或蔬菜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4706-4706 | 茶树空中部分 是 水果或蔬菜 的 subclass |
|
|