| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4469-4469 | Edible nut is a subclass of food from plant |
| 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. | Food.kif 2085-2085 | AlmondNut is a subclass of edible nut |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2419-2419 | Cashew nut is a subclass of edible nut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4472-4472 | Walnut is a subclass of edible nut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4474-4474 | Pecan nut is a subclass of edible nut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4476-4476 | Pine nut is a subclass of edible nut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4482-4482 | Macademia nut is a subclass of edible nut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4484-4484 | Shea nut is a subclass of edible nut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4518-4518 | Palm oil nut is a subclass of edible nut |
|
|