No TPTP formula. May not be expressible in strict first order. |
naics.kif 9370-9370 |
子屬性 其他金融投資活動 and 證券商品合約及其他金融投資及相關活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9328-9328 |
子屬性 證券和商品合約中介和經紀 and 證券商品合約及其他金融投資及相關活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9364-9364 |
子屬性 證券和商品交易所 and 證券商品合約及其他金融投資及相關活動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51911-51911 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51910-51910 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51909-51909 |
|