| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15076-15076 | Fruta ou Vegetal e' uma sub-classe de PlantAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15077-15077 | Fruta ou Vegetal e' uma sub-classe de Corpo Reprodutor |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2154-2154 | Herb e' uma sub-classe de Fruta ou Vegetal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2175-2175 | Fruit e' uma sub-classe de Fruta ou Vegetal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2391-2391 | Broccoli e' uma sub-classe de Fruta ou Vegetal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2684-2684 | Mushroom e' uma sub-classe de Fruta ou Vegetal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3358-3358 | Scallion e' uma sub-classe de Fruta ou Vegetal |
| 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. | Economy.kif 4287-4287 | RootVegetable e' uma sub-classe de Fruta ou Vegetal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4336-4336 | Legume e' uma sub-classe de Fruta ou Vegetal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4470-4470 | EdibleNut e' uma sub-classe de Fruta ou Vegetal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4486-4486 | Groundnut e' uma sub-classe de Fruta ou Vegetal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4706-4706 | TeaPlantAerialPart e' uma sub-classe de Fruta ou Vegetal |
|
|