| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4556-4556 | VegetableOil e' uma sub-classe de FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4557-4557 | VegetableOil e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4558-4558 | VegetableOil e' uma sub-classe de OilFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2486-2486 | CocoaButter e' uma sub-classe de VegetableOil |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4561-4561 | PalmOil e' uma sub-classe de VegetableOil |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4562-4562 | OliveOil e' uma sub-classe de VegetableOil |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4565-4565 | SoybeanOil e' uma sub-classe de VegetableOil |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4568-4568 | GrapeSeedOil e' uma sub-classe de VegetableOil |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4569-4569 | RapeseedOil e' uma sub-classe de VegetableOil |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4570-4570 | CanolaOil e' uma sub-classe de VegetableOil |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4571-4571 | SunFlowerOil e' uma sub-classe de VegetableOil |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4574-4574 | SafflowerOil e' uma sub-classe de VegetableOil |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4575-4575 | GroundnutOil e' uma sub-classe de VegetableOil |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4578-4578 | CottonSeedOil e' uma sub-classe de VegetableOil |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4579-4579 | CoconutOil e' uma sub-classe de VegetableOil |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4582-4582 | AvocadoOil e' uma sub-classe de VegetableOil |
|
|