Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialSectorAttribute

 Sigma KEE - FinancialSectorAttribute
FinancialSectorAttribute(金融部门属性)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 910-912
No TPTP formula. May not be expressible in strict first order. Economy.kif 908-908 金融部门属性 是 经济属性 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 920-920 农业经济 是 金融部门属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 924-924 受控的劳动力市场经济 是 金融部门属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 914-914 多元化经济 是 金融部门属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 915-915 制造业经济 是 金融部门属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 925-925 海外金融业经济 是 金融部门属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 917-917 石油经济 是 金融部门属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 919-919 服务型经济 是 金融部门属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 921-921 自给农业经济 是 金融部门属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 918-918 旅游经济 是 金融部门属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 916-916 贸易经济 是 金融部门属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 923-923 两级劳动力市场经济 是 金融部门属性 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23816-23816
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23815-23815
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23814-23814


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners