No TPTP formula. May not be expressible in strict first order. |
naics.kif 10047-10047 |
计算机设施管理服务 是 计算机系统设计和相关服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10040-10040 |
计算机系统设计服务 是 计算机系统设计和相关服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10033-10033 |
定制计算机编程服务 是 计算机系统设计和相关服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10054-10054 |
其他电脑相关服务 是 计算机系统设计和相关服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16422-16422 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16421-16421 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16420-16420 |
|