TreeView Knowledge Base Browser - InsuranceCarriersAndRelatedActivities

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9419-9421
No TPTP formula. May not be expressible in strict first order.	naics.kif 9417-9417	子屬性保險公司及相關活動 and 金融和保險

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9486-9486	子屬性代理經紀人和其他保險相關活動 and 保險公司及相關活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 9423-9423	子屬性保險公司 and 保險公司及相關活動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30325-30325
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30324-30324
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30323-30323