No TPTP formula. May not be expressible in strict first order. |
naics.kif 9370-9370 |
其他金融投资活动 是 证券商品合约及其他金融投资及相关活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9328-9328 |
证券和商品合约中介和经纪 是 证券商品合约及其他金融投资及相关活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9364-9364 |
证券和商品交易所 是 证券商品合约及其他金融投资及相关活动 的 subAttribute |
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 |
|