No TPTP formula. May not be expressible in strict first order. |
naics.kif 12401-12401 |
一般经济计划的管理 是 管理经济计划 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12416-12416 |
通信电气和其他公用事业的管理和规范 是 管理经济计划 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12408-12408 |
运输方案的管理和规范 是 管理经济计划 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12432-12432 |
监管牌照及杂项商业检验 是 管理经济计划 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12425-12425 |
农业营销和商品的监管 是 管理经济计划 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5472-5472 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5471-5471 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5470-5470 |
|