TreeView Knowledge Base Browser - AgenciesBrokeragesAndOtherInsuranceRelatedActivities

appearance as argument number 1

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9493-9493	子屬性保險代理和經紀人 and 代理經紀人和其他保險相關活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 9500-9500	子屬性其他保險相關活動 and 代理經紀人和其他保險相關活動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5802-5802
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5801-5801
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5800-5800