No TPTP formula. May not be expressible in strict first order. |
naics.kif 10117-10117 |
环境咨询服务 是 管理科学和技术咨询服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10069-10069 |
管理咨询服务 是 管理科学和技术咨询服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10124-10124 |
其他科技咨询服务 是 管理科学和技术咨询服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35921-35921 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35920-35920 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35919-35919 |
|