| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4336-4336 | 豆科植物 是 水果或蔬菜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4340-4340 | 豆 是 豆科植物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4347-4347 | 豌豆 是 豆科植物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4348-4348 | 牛豌豆 是 豆科植物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4349-4349 | 脉动 是 豆科植物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4831-4831 | 苜蓿 是 豆科植物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4845-4845 | 苜 是 豆科植物 的 subclass |
|
|