| (subclass EdibleNut ReproductiveBody) | Economy.kif 4017-4017 | subclass EdibleNut and ReproductiveBody |
| (subclass EdibleNut FruitOrVegetable) | Economy.kif 4020-4020 | subclass EdibleNut and FruitOrVegetable |
| (subclass AlmondNut EdibleNut) | Food.kif 419-419 | subclass AlmondNut and EdibleNut |
| (subclass CashewNut EdibleNut) | Food.kif 509-509 | subclass CashewNut and EdibleNut |
| (subclass Walnut EdibleNut) | Economy.kif 4022-4022 | subclass Walnut and EdibleNut |
| (subclass PecanNut EdibleNut) | Economy.kif 4024-4024 | subclass PecanNut and EdibleNut |
| (subclass MacademiaNut EdibleNut) | Economy.kif 4026-4026 | subclass MacademiaNut and EdibleNut |
| (subclass SheaNut EdibleNut) | Economy.kif 4028-4028 | subclass SheaNut and EdibleNut |
| (subclass Peanut EdibleNut) | Economy.kif 4031-4031 | subclass Peanut and EdibleNut |
| (subclass PalmOilNut EdibleNut) | Economy.kif 4064-4064 | subclass PalmOilNut and EdibleNut |
|
|