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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EconomicDevelopmentLevel

Sigma KEE - EconomicDevelopmentLevel
EconomicDevelopmentLevel(經濟發展水平)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 108-112
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8465-8465
No TPTP formula. May not be expressible in strict first order. Economy.kif 106-106 子類 經濟發展水平 and 經濟屬性

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 350-350 發達的先進國家 and 經濟發展水平
No TPTP formula. May not be expressible in strict first order. Economy.kif 371-371 四龍經濟 and 經濟發展水平
No TPTP formula. May not be expressible in strict first order. Economy.kif 755-755 高科技工業經濟 and 經濟發展水平
No TPTP formula. May not be expressible in strict first order. Economy.kif 399-399 最不發達國家 and 經濟發展水平
No TPTP formula. May not be expressible in strict first order. Economy.kif 737-737 主要工業經濟 and 經濟發展水平
No TPTP formula. May not be expressible in strict first order. Economy.kif 359-359 新興工業化經濟 and 經濟發展水平
No TPTP formula. May not be expressible in strict first order. Economy.kif 392-392 未發達國家 and 經濟發展水平
No TPTP formula. May not be expressible in strict first order. Economy.kif 515-515 子類 IMF發展水平 and 經濟發展水平
No TPTP formula. May not be expressible in strict first order. Economy.kif 117-117 子類 聯合國經濟發展水平 and 經濟發展水平
No TPTP formula. May not be expressible in strict first order. Economy.kif 415-415 子類 世界銀行人均GNI水平 and 經濟發展水平
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21156-21156
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21155-21155
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21154-21154


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