No TPTP formula. May not be expressible in strict first order. | Economy.kif 5532-5532 | 子類 木料 and WoodProduct |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5544-5544 | 子類 RoughSawnLumber and 木料 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5558-5558 | 子類 FinishedLumber and 木料 |
![]() |