TreeView Knowledge Base Browser - FundsTrustsAndOtherFinancialVehicles

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9530-9532
No TPTP formula. May not be expressible in strict first order.	naics.kif 9528-9528	资助信托和其他金融工具是金融和保险的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9534-9534	保险和员工福利基金是资助信托和其他金融工具的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9559-9559	其他投资池和基金是资助信托和其他金融工具的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25214-25214
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25213-25213
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25212-25212