No TPTP formula. May not be expressible in strict first order. |
naics.kif 9546-9546 |
子屬性 健康和福利基金 and 保險和員工福利基金 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9553-9553 |
子屬性 其他保險基金 and 保險和員工福利基金 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9540-9540 |
子屬性 養老基金 and 保險和員工福利基金 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30313-30313 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30312-30312 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30311-30311 |
|