TreeView Knowledge Base Browser - DirectLifeHealthAndMedicalInsuranceCarriers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9431-9434
No TPTP formula. May not be expressible in strict first order.	naics.kif 9429-9429	子屬性直接生命健康和醫療保險承運人 and 保險公司

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9443-9443	子屬性直接醫療和醫療保險承運人 and 直接生命健康和醫療保險承運人
No TPTP formula. May not be expressible in strict first order.	naics.kif 9436-9436	子屬性直接人壽保險公司 and 直接生命健康和醫療保險承運人
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19704-19704
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19703-19703
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19702-19702