| No TPTP formula. May not be expressible in strict first order. |
naics.kif 12401-12401 |
子屬性 一般經濟計劃的管理 and 管理經濟計劃 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 12416-12416 |
子屬性 通信電氣和其他公用事業的管理和規範 and 管理經濟計劃 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 12408-12408 |
子屬性 運輸方案的管理和規範 and 管理經濟計劃 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 12432-12432 |
子屬性 監管牌照及雜項商業檢驗 and 管理經濟計劃 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 12425-12425 |
子屬性 農業營銷和商品的監管 and 管理經濟計劃 |
| 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 |
|
AdministrationOfEconomicPrograms