| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4321-4321 | 子類 食用塊莖 and 根菜類 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4322-4322 | 子類 馬鈴薯塊莖 and 食用塊莖 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4323-4323 | 子類 甘藷塊莖 and 食用塊莖 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4324-4324 | 子類 芋頭塊莖 and 食用塊莖 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4325-4325 | 子類 山藥塊莖 and 食用塊莖 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4326-4326 | 子類 生薑 and 食用塊莖 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4328-4328 | 子類 木薯 and 食用塊莖 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4487-4487 | 子類 花生 and 食用塊莖 |
|
|