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	子屬性證券和商品合約中介和經紀 and 證券商品合約及其他金融投資及相關活動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9357-9357	子屬性商品合約經紀人 and 證券和商品合約中介和經紀
No TPTP formula. May not be expressible in strict first order.	naics.kif 9350-9350	子屬性商品合約交易 and 證券和商品合約中介和經紀
No TPTP formula. May not be expressible in strict first order.	naics.kif 9335-9335	子屬性投資銀行和證券交易 and 證券和商品合約中介和經紀
No TPTP formula. May not be expressible in strict first order.	naics.kif 9343-9343	子屬性證券經紀 and 證券和商品合約中介和經紀
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