(subclass Lumber WoodProduct) | Economy.kif 5532-5532 | Lumber は WoodProduct の subclass では %n |
(subclass RoughSawnLumber Lumber) | Economy.kif 5544-5544 | RoughSawnLumber は Lumber の subclass では %n |
(subclass FinishedLumber Lumber) | Economy.kif 5558-5558 | FinishedLumber は Lumber の subclass では %n |