(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W CherryWood) (subclass ?S PlantStem)) (or (initialPart ?S BlackCherryTree) (initialPart ?S SweetCherryTree))) |
Economy.kif 5326-5333 |
|
(subclass BlackCherryTree DeciduousTree) | Geography.kif 6494-6494 | BlackCherryTree est une sous-classe de DeciduousTree |