(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W WalnutWood) (subclass ?S PlantStem)) (initialPart ?S WalnutTree)) |
Economy.kif 5388-5393 |
|
(subclass WalnutTree DeciduousTree) | Geography.kif 6531-6531 | WalnutTree è una sottoclasse di DeciduousTree |