TreeView Knowledge Base Browser - SecuritiesCommodityContractsAndOtherFinancialInvestmentsAndRelatedActivities

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9322-9326
No TPTP formula. May not be expressible in strict first order.	naics.kif 9320-9320	证券商品合约及其他金融投资及相关活动是金融和保险的 subAttribute

appearance as argument number 2

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 51909-51909
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51908-51908
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51907-51907