No TPTP formula. May not be expressible in strict first order. |
naics.kif 2684-2684 |
所有其他木制品制造业 是 其他木制品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2648-2648 |
木制品 是 其他木制品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2677-2677 |
木制容器和托盘制造 是 其他木制品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43626-43626 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43625-43625 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43624-43624 |
|