TreeView Knowledge Base Browser - CreditIntermediationAndRelatedActivities

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9195-9197
No TPTP formula. May not be expressible in strict first order.	naics.kif 9193-9193	信贷中介及相关活动是金融和保险的 subAttribute

appearance as argument number 2

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