| (=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W OkoumeWood) (subclass ?S PlantStem)) (initialPart ?S OkoumeTree)) |
Economy.kif 5348-5353 |
|
| (subclass OkoumeTree DeciduousTree) | Geography.kif 6507-6507 | OkoumeTree ist eine teilkategorie von DeciduousTree |
|
|