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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewlyIndustrializingEconomy

Sigma KEE - NewlyIndustrializingEconomy
NewlyIndustrializingEconomy(新兴工业化经济)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 365-369
No TPTP formula. May not be expressible in strict first order. Economy.kif 359-359 新兴工业化经济经济发展水平instance

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 361-361 新兴工业化经济 是 "NIE" 的简称
No TPTP formula. May not be expressible in strict first order. Economy.kif 363-363 "NIC" 是对于 新兴工业化经济former name
No TPTP formula. May not be expressible in strict first order. Economy.kif 362-362 "Newly Industrializing Countries" 是对于 新兴工业化经济former name
No TPTP formula. May not be expressible in strict first order. Economy.kif 360-360 新兴工业化经济 的名 是 "Newly Industrializing Economies"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40311-40311
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40310-40310
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40309-40309


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