TreeView Knowledge Base Browser - InsuranceAndEmployeeBenefitFunds

appearance as argument number 1

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9546-9546	健康和福利基金是保险和员工福利基金的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9553-9553	其他保险基金是保险和员工福利基金的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9540-9540	养老基金是保险和员工福利基金的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30313-30313
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30312-30312
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30311-30311