No TPTP formula. May not be expressible in strict first order. |
naics.kif 3030-3030 |
印前服务 是 支持印刷活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3023-3023 |
贸易绑定和相关工作 是 支持印刷活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56191-56191 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56190-56190 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56189-56189 |
|