No TPTP formula. May not be expressible in strict first order. |
naics.kif 9236-9236 |
信用卡发卡 是 非存款信用中介 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9248-9248 |
其他非存款信贷中介 是 非存款信用中介 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9242-9242 |
销售融资 是 非存款信用中介 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40725-40725 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40724-40724 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40723-40723 |
|