| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4112-4112 | 子類 豌豆 and 種子 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4113-4113 | 子類 豌豆 and food for Animal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4347-4347 | 子類 豌豆 and 豆科植物 |
|
|