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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IMFDevelopmentLevel
IMFDevelopmentLevel(IMF development level)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 514-520
No TPTP formula. May not be expressible in strict first order. Economy.kif 510-510 IMF development level is a subclass of economic development level

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 522-522 Advanced economy is an instance of IMF development level
No TPTP formula. May not be expressible in strict first order. Economy.kif 559-559 Country in transition is an instance of IMF development level
No TPTP formula. May not be expressible in strict first order. Economy.kif 599-599 Developing country is an instance of IMF development level
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29328-29328
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29327-29327
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29326-29326


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



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