(=> (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 |