No TPTP formula. May not be expressible in strict first order. | Economy.kif 4206-4206 | Vegetable is a subclass of fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2425-2425 | Celery is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3647-3647 | Water chestnut is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3649-3649 | Zucchini is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4210-4210 | Leafy green vegetable is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4220-4220 | Cucumber is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4234-4234 | Cabbage is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4262-4262 | Cauliflower is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4271-4271 | Eggplant is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4332-4332 | Sweet pepper is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4333-4333 | Squash is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4334-4334 | Sugar beet is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4352-4352 | Sugar cane is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4464-4464 | Ginger is a subclass of vegetable |