| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15054-15054 | Fruit or vegetable is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15055-15055 | Fruit or vegetable is a subclass of reproductive body |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2154-2154 | Herb is a subclass of fruit or vegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2175-2175 | Fruit is a subclass of fruit or vegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2391-2391 | Broccoli is a subclass of fruit or vegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2684-2684 | Mushroom is a subclass of fruit or vegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3358-3358 | Scallion is a subclass of fruit or vegetable |
| 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. | Economy.kif 4287-4287 | Root vegetable is a subclass of fruit or vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4336-4336 | Legume is a subclass of fruit or vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4470-4470 | Edible nut is a subclass of fruit or vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4486-4486 | Groundnut is a subclass of fruit or vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4706-4706 | Tea plant aerial part is a subclass of fruit or vegetable |
|
|