No TPTP formula. May not be expressible in strict first order. | Economy.kif 5532-5532 | Lumber is a subclass of wood product |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5544-5544 | Rough sawn lumber is a subclass of lumber |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5558-5558 | FinishedLumber is a subclass of lumber |