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	直接生命健康和医疗保险承运人是保险公司的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9443-9443	直接医疗和医疗保险承运人是直接生命健康和医疗保险承运人的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9436-9436	直接人寿保险公司是直接生命健康和医疗保险承运人的 subAttribute
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