(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W BalsaWood) (subclass ?S PlantStem)) (initialPart ?S BalsaTree)) |
Economy.kif 5296-5301 | |
(subclass BalsaTree DeciduousTree) | Geography.kif 6479-6479 | BalsaTree est une sous-classe de DeciduousTree |