| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4206-4206 | Vegetable e' uma sub-classe de Fruta ou Vegetal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2425-2425 | Celery e' uma sub-classe de Vegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3647-3647 | WaterChestnut e' uma sub-classe de Vegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3649-3649 | Zucchini e' uma sub-classe de Vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4210-4210 | LeafyGreenVegetable e' uma sub-classe de Vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4220-4220 | Cucumber e' uma sub-classe de Vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4234-4234 | Cabbage e' uma sub-classe de Vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4262-4262 | Cauliflower e' uma sub-classe de Vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4271-4271 | Eggplant e' uma sub-classe de Vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4332-4332 | SweetPepper e' uma sub-classe de Vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4333-4333 | Squash e' uma sub-classe de Vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4334-4334 | SugarBeet e' uma sub-classe de Vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4352-4352 | SugarCane e' uma sub-classe de Vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4464-4464 | Ginger e' uma sub-classe de Vegetable |
|
|