(=> (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 est une sous-classe de DeciduousTree |