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	子屬性與信貸中介有關的活動 and 信貸中介及相關活動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9302-9302	子屬性金融交易處理儲備和清算所活動 and 與信貸中介有關的活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 9295-9295	子屬性抵押貸款和非抵押貸款經紀人 and 與信貸中介有關的活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 9311-9311	子屬性與信貸中介有關的其他活動 and 與信貸中介有關的活動
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