No TPTP formula. May not be expressible in strict first order. |
naics.kif 9486-9486 |
子屬性 代理經紀人和其他保險相關活動 and 保險公司及相關活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9423-9423 |
子屬性 保險公司 and 保險公司及相關活動 |
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 |
|