| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4336-4336 | Legume is a subclass of fruit or vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4340-4340 | Bean is a subclass of legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4347-4347 | Pea is a subclass of legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4348-4348 | Cow pea is a subclass of legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4349-4349 | Pulse is a subclass of legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4831-4831 | Alfalfa is a subclass of legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4845-4845 | Clover is a subclass of legume |
|
|