(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W SapeleWood) (subclass ?S PlantStem)) (initialPart ?S SapeleTree)) |
Economy.kif 5378-5383 |
|
(subclass SapeleTree DeciduousTree) | Geography.kif 6526-6526 | Sapele tree is a subclass of deciduous tree |