No TPTP formula. May not be expressible in strict first order. |
naics.kif 2589-2589 |
Sawmills is a subattribute of sawmills and wood preservation |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2595-2595 |
Wood preservation is a subattribute of sawmills and wood preservation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51429-51429 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51428-51428 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51427-51427 |
|