No TPTP formula. May not be expressible in strict first order. |
naics.kif 511-511 |
子屬性 森林苗圃和林產品採集 and 林業和伐木業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 517-517 |
子屬性 記錄 and 林業和伐木業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 505-505 |
子屬性 木材作業 and 林業和伐木業 |
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 |
|