No TPTP formula. May not be expressible in strict first order. | Economy.kif 5532-5532 | Lumber est une sous-classe de WoodProduct |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5544-5544 | RoughSawnLumber est une sous-classe de Lumber |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5558-5558 | FinishedLumber est une sous-classe de Lumber |
![]() |