TreeView Knowledge Base Browser - OtherInsuranceRelatedActivities

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9502-9504
No TPTP formula. May not be expressible in strict first order.	naics.kif 9500-9500	其他保险相关活动是代理经纪人和其他保险相关活动的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9520-9520	所有其他保险相关的活动是其他保险相关活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9506-9506	要求调整是其他保险相关活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9513-9513	第三方管理保险和养老基金是其他保险相关活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43140-43140
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43139-43139
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43138-43138