| (=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W BirchWood) (subclass ?S PlantStem)) (initialPart ?S BirchTree)) |
Economy.kif 5316-5321 |
|
| (subclass BirchTree DeciduousTree) | Geography.kif 6489-6489 | BirchTree ist eine teilkategorie von DeciduousTree |
|
|