(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W CherryWood) (subclass ?S PlantStem)) (or (initialPart ?S BlackCherryTree) (initialPart ?S SweetCherryTree))) |
Economy.kif 5326-5333 | |
(subclass SweetCherryTree DeciduousTree) | Geography.kif 6499-6499 |