No TPTP formula. May not be expressible in strict first order. |
naics.kif 9457-9457 |
直接财产和意外伤害保险公司 是 除生命健康和医疗承运人外的直接保险 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9465-9465 |
直接产权保险公司 是 除生命健康和医疗承运人外的直接保险 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9472-9472 |
除生命健康和医疗承运人外的其他直接保险 是 除生命健康和医疗承运人外的直接保险 的 subAttribute |
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 |
|