| (subclass TropicalFruit Fruit) | Economy.kif 3960-3960 | |
| (subclass Avocado TropicalFruit) | Economy.kif 3963-3963 | |
| (subclass Banana TropicalFruit) | Economy.kif 3966-3966 | |
| (subclass Breadfruit TropicalFruit) | Economy.kif 3969-3969 | |
| (subclass Coconut TropicalFruit) | Economy.kif 3972-3972 | |
| (subclass DateFruit TropicalFruit) | Economy.kif 3975-3975 | |
| (subclass Mango TropicalFruit) | Economy.kif 3978-3978 | |
| (subclass Papaw TropicalFruit) | Economy.kif 3981-3981 | |
| (subclass Papaya TropicalFruit) | Economy.kif 3986-3986 | |
| (subclass PassionFruit TropicalFruit) | Economy.kif 3989-3989 | |
| (subclass Pineapple TropicalFruit) | Economy.kif 3992-3992 | |
| (subclass Plantain TropicalFruit) | Economy.kif 3995-3995 |
|
|