No TPTP formula. May not be expressible in strict first order. |
naics.kif 9357-9357 |
商品合约经纪人 是 证券和商品合约中介和经纪 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9350-9350 |
商品合约交易 是 证券和商品合约中介和经纪 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9335-9335 |
投资银行和证券交易 是 证券和商品合约中介和经纪 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9343-9343 |
证券经纪 是 证券和商品合约中介和经纪 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51893-51893 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51892-51892 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51891-51891 |
|