TreeView Knowledge Base Browser - ActivitiesRelatedToCreditIntermediation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9291-9293
No TPTP formula. May not be expressible in strict first order.	naics.kif 9289-9289	与信贷中介有关的活动是信贷中介及相关活动的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9302-9302	金融交易处理储备和清算所活动是与信贷中介有关的活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9295-9295	抵押贷款和非抵押贷款经纪人是与信贷中介有关的活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9311-9311	与信贷中介有关的其他活动是与信贷中介有关的活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5370-5370
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5369-5369
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5368-5368