No TPTP formula. May not be expressible in strict first order. |
naics.kif 9396-9396 |
所有其他金融投资活动 是 其他金融投资活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9390-9390 |
投资建议 是 其他金融投资活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9376-9376 |
杂项中介 是 其他金融投资活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9384-9384 |
组合管理 是 其他金融投资活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42990-42990 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42989-42989 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42988-42988 |
|