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	子屬性其他保險相關活動 and 代理經紀人和其他保險相關活動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9520-9520	子屬性所有其他保險相關的活動 and 其他保險相關活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 9506-9506	子屬性要求調整 and 其他保險相關活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 9513-9513	子屬性第三方管理保險和養老基金 and 其他保險相關活動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43142-43142
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43141-43141
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43140-43140