| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4321-4321 | 食用块茎 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4322-4322 | 马铃薯块茎 是 食用块茎 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4323-4323 | 甘薯块茎 是 食用块茎 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4324-4324 | 芋头块茎 是 食用块茎 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4325-4325 | 山药块茎 是 食用块茎 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4326-4326 | 生姜 是 食用块茎 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4328-4328 | 木薯 是 食用块茎 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4487-4487 | 花生 是 食用块茎 的 subclass |
|
|