No TPTP formula. May not be expressible in strict first order. |
naics.kif 9289-9289 |
与信贷中介有关的活动 是 信贷中介及相关活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9199-9199 |
存款信贷中介 是 信贷中介及相关活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9230-9230 |
非存款信用中介 是 信贷中介及相关活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17766-17766 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17765-17765 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17764-17764 |
|