| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4336-4336 | Legume est une sous-classe de fruit ou v�g�tal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4340-4340 | Bean est une sous-classe de Legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4347-4347 | Pea est une sous-classe de Legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4348-4348 | CowPea est une sous-classe de Legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4349-4349 | Pulse est une sous-classe de Legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4831-4831 | Alfalfa est une sous-classe de Legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4845-4845 | Clover est une sous-classe de Legume |
|
|