| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4287-4287 | RootVegetable e' uma sub-classe de Fruta ou Vegetal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2582-2582 | Garlic e' uma sub-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2712-2712 | Onion e' uma sub-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3401-3401 | Shallot e' uma sub-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4291-4291 | Radish e' uma sub-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4294-4294 | Turnip e' uma sub-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4295-4295 | Beets e' uma sub-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4297-4297 | Carrot e' uma sub-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4298-4298 | Rutabaga e' uma sub-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4302-4302 | Diakon e' uma sub-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4304-4304 | Parsnip e' uma sub-classe de RootVegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4321-4321 | EdibleTuber e' uma sub-classe de RootVegetable |
|
|