TreeView Knowledge Base Browser - DirectInsuranceExceptLifeHealthAndMedicalCarriers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9452-9455
No TPTP formula. May not be expressible in strict first order.	naics.kif 9450-9450	子屬性除生命健康和醫療承運人外的直接保險 and 保險公司

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9457-9457	子屬性直接財產和意外傷害保險公司 and 除生命健康和醫療承運人外的直接保險
No TPTP formula. May not be expressible in strict first order.	naics.kif 9465-9465	子屬性直接產權保險公司 and 除生命健康和醫療承運人外的直接保險
No TPTP formula. May not be expressible in strict first order.	naics.kif 9472-9472	子屬性除生命健康和醫療承運人外的其他直接保險 and 除生命健康和醫療承運人外的直接保險
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19680-19680
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19679-19679
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19678-19678