| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4469-4469 | EdibleNut e' uma sub-classe de FoodFromPlant |
| 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. | Food.kif 2085-2085 | AlmondNut e' uma sub-classe de EdibleNut |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2419-2419 | CashewNut e' uma sub-classe de EdibleNut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4472-4472 | Walnut e' uma sub-classe de EdibleNut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4474-4474 | PecanNut e' uma sub-classe de EdibleNut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4476-4476 | PineNut e' uma sub-classe de EdibleNut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4482-4482 | MacademiaNut e' uma sub-classe de EdibleNut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4484-4484 | SheaNut e' uma sub-classe de EdibleNut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4518-4518 | PalmOilNut e' uma sub-classe de EdibleNut |
|
|