Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - LowIncomeCountry
LowIncomeCountry
(low income country)
appearance as argument number 1
(
documentation
LowIncomeCountry
EnglishLanguage
"
LowIncomeCountry
is an
Attribute
representing the World Bank classification for any country where the per capita GNI is $755 or below in
UnitedStatesDollar
s.")
Economy.kif 436-438
(
instance
LowIncomeCountry
WorldBankGNIPerCapitaLevel
)
Economy.kif 430-430
Low income country
is an
instance
of
world bankGNI per capita level
(
successorAttribute
LowIncomeCountry
LowerMiddleIncomeCountry
)
Economy.kif 426-426
Low income country
is an immediate
successor
attribute
of
lower middle income country
appearance as argument number 2
(
termFormat
ChineseLanguage
LowIncomeCountry
"低收入国家")
domainEnglishFormat.kif 35206-35206
(
termFormat
ChineseTraditionalLanguage
LowIncomeCountry
"低收入國家")
domainEnglishFormat.kif 35205-35205
(
termFormat
EnglishLanguage
LowIncomeCountry
"low income country")
domainEnglishFormat.kif 35204-35204
antecedent
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
LowIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
lessThan
?AMOUNT 756.0))))
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
(=>
(
attribute
?AREA
LowIncomeCountry
)
(
economyType
?AREA
LeastDevelopedCountry
))
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 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