(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W MapleWood) (subclass ?S PlantStem)) (initialPart ?S MapleTree)) |
Economy.kif 5338-5343 | |
(subclass MapleTree DeciduousTree) | Geography.kif 6503-6503 | MapleTree est une sous-classe de DeciduousTree |