(=> (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 | SweetCherryTree は DeciduousTree の subclass では %n |