| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4287-4287 | RootVegetable est une sous-classe de fruit ou v�g�tal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2582-2582 | Garlic est une sous-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2712-2712 | Onion est une sous-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3401-3401 | Shallot est une sous-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4291-4291 | Radish est une sous-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4294-4294 | Turnip est une sous-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4295-4295 | Beets est une sous-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4297-4297 | Carrot est une sous-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4298-4298 | Rutabaga est une sous-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4302-4302 | Diakon est une sous-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4304-4304 | Parsnip est une sous-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4321-4321 | EdibleTuber est une sous-classe de RootVegetable |
|
|