No TPTP formula. May not be expressible in strict first order. | Economy.kif 5532-5532 | Lumber e' uma sub-classe de WoodProduct |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5544-5544 | RoughSawnLumber e' uma sub-classe de Lumber |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5558-5558 | FinishedLumber e' uma sub-classe de Lumber |