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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeastDevelopedCountry
LeastDevelopedCountry(least developed country)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 407-411
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11338-11338
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10093-10093
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11336-11336
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11337-11337
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11339-11339
No TPTP formula. May not be expressible in strict first order. Economy.kif 399-399 Least developed country is an instance of economic development level
No TPTP formula. May not be expressible in strict first order. Economy.kif 400-400 Least developed country is a subattribute of less developed country

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 404-404 "LLDC" is an abbreviation of least developed country
No TPTP formula. May not be expressible in strict first order. Economy.kif 401-401 Least developed country is a conventional long name of "Least Developed Countries"
No TPTP formula. May not be expressible in strict first order. Economy.kif 402-402 Least developed country has name "Undeveloped Country"
No TPTP formula. May not be expressible in strict first order. Economy.kif 403-403 Least developed country has name "Undeveloped Economy"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33689-33689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33688-33688
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33687-33687

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 432-434

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 405-405 42 is a cardinality of the class corresponding to least developed country


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