| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4336-4336 | Legume e' uma sub-classe de Fruta ou Vegetal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4340-4340 | Bean e' uma sub-classe de Legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4347-4347 | Pea e' uma sub-classe de Legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4348-4348 | CowPea e' uma sub-classe de Legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4349-4349 | Pulse e' uma sub-classe de Legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4831-4831 | Alfalfa e' uma sub-classe de Legume |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4845-4845 | Clover e' uma sub-classe de Legume |
|
|