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	保险公司及相关活动是金融和保险的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9486-9486	代理经纪人和其他保险相关活动是保险公司及相关活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9423-9423	保险公司是保险公司及相关活动的 subAttribute
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