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 EconomicDevelopmentLevel e' uma sub-classe de EconomicAttribute

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 350-350 AdvancedDevelopingCountry e' uma instancia de EconomicDevelopmentLevel
No TPTP formula. May not be expressible in strict first order. Economy.kif 371-371 FourDragonsEconomy e' uma instancia de EconomicDevelopmentLevel
No TPTP formula. May not be expressible in strict first order. Economy.kif 755-755 HighTechIndustrialEconomy e' uma instancia de EconomicDevelopmentLevel
No TPTP formula. May not be expressible in strict first order. Economy.kif 399-399 LeastDevelopedCountry e' uma instancia de EconomicDevelopmentLevel
No TPTP formula. May not be expressible in strict first order. Economy.kif 737-737 MajorIndustrialEconomy e' uma instancia de EconomicDevelopmentLevel
No TPTP formula. May not be expressible in strict first order. Economy.kif 359-359 NewlyIndustrializingEconomy e' uma instancia de EconomicDevelopmentLevel
No TPTP formula. May not be expressible in strict first order. Economy.kif 392-392 UnderdevelopedCountry e' uma instancia de EconomicDevelopmentLevel
No TPTP formula. May not be expressible in strict first order. Economy.kif 515-515 IMFDevelopmentLevel e' uma sub-classe de EconomicDevelopmentLevel
No TPTP formula. May not be expressible in strict first order. Economy.kif 117-117 UNEconomicDevelopmentLevel e' uma sub-classe de EconomicDevelopmentLevel
No TPTP formula. May not be expressible in strict first order. Economy.kif 415-415 WorldBankGNIPerCapitaLevel e' uma sub-classe de EconomicDevelopmentLevel
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