TreeView Knowledge Base Browser - NondepositoryCreditIntermediation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9232-9234
No TPTP formula. May not be expressible in strict first order.	naics.kif 9230-9230	子屬性非存款信用中介 and 信貸中介及相關活動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9236-9236	子屬性信用卡發卡 and 非存款信用中介
No TPTP formula. May not be expressible in strict first order.	naics.kif 9248-9248	子屬性其他非存款信貸中介 and 非存款信用中介
No TPTP formula. May not be expressible in strict first order.	naics.kif 9242-9242	子屬性銷售融資 and 非存款信用中介
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