TreeView Knowledge Base Browser - LowIncomeCountry

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

LowIncomeCountry

Sigma KEE - LowIncomeCountry

LowIncomeCountry(low income country)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 436-438
No TPTP formula. May not be expressible in strict first order.	Economy.kif 430-430	Low income country is an instance of world bankGNI per capita level
No TPTP formula. May not be expressible in strict first order.	Economy.kif 426-426	Low income country is an immediate successor attribute of lower middle income country

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35177-35177
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35176-35176
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35175-35175

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-447	If a time interval is an instance of time interval and low income country is an economy type of a geopolitical area holds during the time interval, then there exists a real number such that the geopolitical area is per capitaGDP in period the real number united states dollar(s) for the time interval and the real number is less than 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 432-434	If low income country is an attribute of an agent, then least developed country is an economy type of the agent

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