(=> (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 est une sous-classe de DeciduousTree |