| (subclass Legume FruitOrVegetable) | Economy.kif 4669-4669 | Legume is a subclass of fruit or vegetable |
| (subclass Bean Legume) | Economy.kif 4673-4673 | Bean is a subclass of legume |
| (subclass Pea Legume) | Economy.kif 4680-4680 | Pea is a subclass of legume |
| (subclass CowPea Legume) | Economy.kif 4681-4681 | Cow pea is a subclass of legume |
| (subclass Pulse Legume) | Economy.kif 4682-4682 | Pulse is a subclass of legume |
| (subclass Alfalfa Legume) | Economy.kif 5166-5166 | Alfalfa is a subclass of legume |
| (subclass Clover Legume) | Economy.kif 5180-5180 | Clover is a subclass of legume |
|
|