TreeView Knowledge Base Browser - FinanceAndInsurance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9181-9183
No TPTP formula. May not be expressible in strict first order.	naics.kif 9179-9179	金融和保险是行业属性的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9193-9193	信贷中介及相关活动是金融和保险的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9528-9528	资助信托和其他金融工具是金融和保险的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9417-9417	保险公司及相关活动是金融和保险的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9187-9187	货币当局中央银行是金融和保险的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9320-9320	证券商品合约及其他金融投资及相关活动是金融和保险的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23726-23726
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23725-23725
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23724-23724