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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UNEconomicDevelopmentLevel

Sigma KEE - UNEconomicDevelopmentLevel
UNEconomicDevelopmentLevel

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 119-124
No TPTP formula. May not be expressible in strict first order. Economy.kif 117-117 UNEconomicDevelopmentLevel e' uma sub-classe de EconomicDevelopmentLevel

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 126-126 DevelopedCountry e' uma instancia de UNEconomicDevelopmentLevel
No TPTP formula. May not be expressible in strict first order. Economy.kif 182-182 FormerSovietOrEasternEuropeanCountry e' uma instancia de UNEconomicDevelopmentLevel
No TPTP formula. May not be expressible in strict first order. Economy.kif 206-206 LessDevelopedCountry e' uma instancia de UNEconomicDevelopmentLevel
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59900-59900
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59899-59899
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59898-59898


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