| (subclass EdibleNut FoodFromPlant) | Economy.kif 4469-4469 | |
| (subclass EdibleNut FruitOrVegetable) | Economy.kif 4470-4470 | |
| (subclass AlmondNut EdibleNut) | Food.kif 2085-2085 | |
| (subclass CashewNut EdibleNut) | Food.kif 2419-2419 | |
| (subclass Walnut EdibleNut) | Economy.kif 4472-4472 | |
| (subclass PecanNut EdibleNut) | Economy.kif 4474-4474 | |
| (subclass PineNut EdibleNut) | Economy.kif 4476-4476 | |
| (subclass MacademiaNut EdibleNut) | Economy.kif 4482-4482 | |
| (subclass SheaNut EdibleNut) | Economy.kif 4484-4484 | |
| (subclass PalmOilNut EdibleNut) | Economy.kif 4518-4518 |
|
|