(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W PoplarWood) (subclass ?S PlantStem)) (initialPart ?S PoplarTree)) |
Economy.kif 5358-5363 |
|
(subclass PoplarTree DeciduousTree) | Geography.kif 6512-6512 | Poplar tree is a subclass of deciduous tree |