RegulationLicensingAndInspectionOfMiscellaneousCommercialSectors(监管牌照及杂项商业检验) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12434-12439 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12432-12432 | 监管牌照及杂项商业检验 是 管理经济计划 的 subAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49280-49280 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49279-49279 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49278-49278 |