No TPTP formula. May not be expressible in strict first order. |
naics.kif 9941-9941 |
建筑服务 是 建筑工程及相关服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9966-9966 |
建筑检验服务 是 建筑工程及相关服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9960-9960 |
制图服务 是 建筑工程及相关服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9954-9954 |
工程服务 是 建筑工程及相关服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9973-9973 |
地球物理测绘和地图服务 是 建筑工程及相关服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9947-9947 |
景观建筑服务 是 建筑工程及相关服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9980-9980 |
测量和地图测绘除地球物理服务外 是 建筑工程及相关服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9987-9987 |
检测实验室 是 建筑工程及相关服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8238-8238 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8237-8237 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8236-8236 |
|