No TPTP formula. May not be expressible in strict first order. |
naics.kif 10610-10610 |
所有其他支持服务 是 其他支持服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10603-10603 |
会议和贸易展览组织者 是 其他支持服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10596-10596 |
包装和标签服务 是 其他支持服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43548-43548 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43547-43547 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43546-43546 |
|