TreeView Knowledge Base Browser - SecuritiesAndCommodityContractsIntermediationAndBrokerage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9330-9333
No TPTP formula. May not be expressible in strict first order.	naics.kif 9328-9328	证券和商品合约中介和经纪是证券商品合约及其他金融投资及相关活动的 subAttribute

appearance as argument number 2

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 51891-51891
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51890-51890
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51889-51889