| 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. | Food.kif 2582-2582 | Garlic 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2712-2712 | Onion 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3401-3401 | Shallot 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4291-4291 | 萝卜 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4294-4294 | 芜菁 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4295-4295 | Beets 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4297-4297 | 胡萝卜 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4298-4298 | Rutabaga 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4302-4302 | Diakon 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4304-4304 | Parsnip 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4321-4321 | 食用块茎 是 根菜类 的 subclass |
|
|