No TPTP formula. May not be expressible in strict first order. |
naics.kif 511-511 |
森林苗圃和林产品采集 是 林业和伐木业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 517-517 |
记录 是 林业和伐木业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 505-505 |
木材作业 是 林业和伐木业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24710-24710 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24709-24709 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24708-24708 |
|