No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5500-5500 |
Timber est reli� � l'int�rieur de SUMO � Lumber |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5558-5558 |
FinishedLumber est une sous-classe de Lumber |
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. |
domainEnglishFormat.kif 35285-35285 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35284-35284 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35283-35283 |
|