| (subclass EdibleNut FoodFromPlant) | Economy.kif 4469-4469 | Edible nut is a subclass of food from plant |
| (subclass EdibleNut FruitOrVegetable) | Economy.kif 4470-4470 | Edible nut is a subclass of fruit or vegetable |
| (subclass AlmondNut EdibleNut) | Food.kif 2085-2085 | AlmondNut is a subclass of edible nut |
| (subclass CashewNut EdibleNut) | Food.kif 2419-2419 | Cashew nut is a subclass of edible nut |
| (subclass Walnut EdibleNut) | Economy.kif 4472-4472 | Walnut is a subclass of edible nut |
| (subclass PecanNut EdibleNut) | Economy.kif 4474-4474 | Pecan nut is a subclass of edible nut |
| (subclass PineNut EdibleNut) | Economy.kif 4476-4476 | Pine nut is a subclass of edible nut |
| (subclass MacademiaNut EdibleNut) | Economy.kif 4482-4482 | Macademia nut is a subclass of edible nut |
| (subclass SheaNut EdibleNut) | Economy.kif 4484-4484 | Shea nut is a subclass of edible nut |
| (subclass PalmOilNut EdibleNut) | Economy.kif 4518-4518 | Palm oil nut is a subclass of edible nut |
|
|