| 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. | Food.kif 2582-2582 | 子類 Garlic and 根菜類 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2712-2712 | 子類 Onion and 根菜類 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3401-3401 | 子類 Shallot and 根菜類 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4291-4291 | 子類 蘿蔔 and 根菜類 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4294-4294 | 子類 蕪菁 and 根菜類 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4295-4295 | 子類 Beets and 根菜類 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4297-4297 | 子類 胡蘿蔔 and 根菜類 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4298-4298 | 子類 Rutabaga and 根菜類 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4302-4302 | 子類 Diakon and 根菜類 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4304-4304 | 子類 Parsnip and 根菜類 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4321-4321 | 子類 食用塊莖 and 根菜類 |
|
|