(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W WhiteOakWood) (subclass ?S PlantStem)) (initialPart ?S WhiteOakTree)) |
Economy.kif 5398-5403 |
|
(subclass WhiteOakWood Hardwood) | Economy.kif 5395-5395 | WhiteOakWood est une sous-classe de Hardwood |