TreeView Knowledge Base Browser - OtherFinancialInvestmentActivities

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9372-9374
No TPTP formula. May not be expressible in strict first order.	naics.kif 9370-9370	其他金融投资活动是证券商品合约及其他金融投资及相关活动的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9396-9396	所有其他金融投资活动是其他金融投资活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9390-9390	投资建议是其他金融投资活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9376-9376	杂项中介是其他金融投资活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9384-9384	组合管理是其他金融投资活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42990-42990
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42989-42989
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42988-42988