(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W RedOakWood) (subclass ?S PlantStem)) (initialPart ?S RedOakTree)) |
Economy.kif 5368-5373 |
|
(subclass RedOakTree DeciduousTree) | Geography.kif 6522-6522 | RedOakTree e' uma sub-classe de DeciduousTree |