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	子屬性信貸中介及相關活動 and 金融和保險

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9289-9289	子屬性與信貸中介有關的活動 and 信貸中介及相關活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 9199-9199	子屬性存款信貸中介 and 信貸中介及相關活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 9230-9230	子屬性非存款信用中介 and 信貸中介及相關活動
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