(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W WhiteOakWood) (subclass ?S PlantStem)) (initialPart ?S WhiteOakTree)) |
Economy.kif 5398-5403 |
|
(subclass WhiteOakTree DeciduousTree) | Geography.kif 6536-6536 | WhiteOakTree est une sous-classe de DeciduousTree |