No TPTP formula. May not be expressible in strict first order. |
naics.kif 9486-9486 |
代理经纪人和其他保险相关活动 是 保险公司及相关活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9423-9423 |
保险公司 是 保险公司及相关活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30325-30325 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30324-30324 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30323-30323 |
|