No TPTP formula. May not be expressible in strict first order. |
naics.kif 9193-9193 |
子屬性 信貸中介及相關活動 and 金融和保險 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9528-9528 |
子屬性 資助信託和其他金融工具 and 金融和保險 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9417-9417 |
子屬性 保險公司及相關活動 and 金融和保險 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9187-9187 |
子屬性 貨幣當局中央銀行 and 金融和保險 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9320-9320 |
子屬性 證券商品合約及其他金融投資及相關活動 and 金融和保險 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23726-23726 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23725-23725 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23724-23724 |
|