No TPTP formula. May not be expressible in strict first order. |
naics.kif 9493-9493 |
子屬性 保險代理和經紀人 and 代理經紀人和其他保險相關活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9500-9500 |
子屬性 其他保險相關活動 and 代理經紀人和其他保險相關活動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5802-5802 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5801-5801 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5800-5800 |
|