(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W BeechWood) (subclass ?S PlantStem)) (initialPart ?S BeechTree)) |
Economy.kif 5306-5311 |
|
(subclass BeechTree DeciduousTree) | Geography.kif 6484-6484 | BeechTree ist eine teilkategorie von DeciduousTree |