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
economyType
Sigma KEE - economyType
economyType
appearance as argument number 1
(
documentation
economyType
EnglishLanguage
"(
economyType
?POLITY ?TYPE) means that the
GeopoliticalArea
?POLITY has an economic system of TYPE.")
Economy.kif 88-89
(
domain
economyType
1
AutonomousAgent
)
Economy.kif 81-81
The number 1 argument of
economy type
is an
instance
of
agent
(
domain
economyType
2
EconomicAttribute
)
Economy.kif 85-85
The number 2 argument of
economy type
is an
instance
of
economic attribute
(
instance
economyType
BinaryPredicate
)
Economy.kif 80-80
economy type
is an
instance
of
binary predicate
(
subrelation
economyType
attribute
)
Economy.kif 86-86
economy type
is a
subrelation
of
attribute
appearance as argument number 2
(
format
ChineseLanguage
economyType
"%2 %n 是 %1 的 economy 类别")
domainEnglishFormat.kif 828-828
(
format
ChineseTraditionalLanguage
economyType
"%2 %n 是 %1 的 economy 類別")
domainEnglishFormat.kif 827-827
(
format
EnglishLanguage
economyType
"%2 is %n an economy type of %1")
domainEnglishFormat.kif 826-826
(
termFormat
ChineseLanguage
economyType
"经济类型")
domainEnglishFormat.kif 21204-21204
(
termFormat
ChineseTraditionalLanguage
economyType
"經濟類型")
domainEnglishFormat.kif 21203-21203
(
termFormat
EnglishLanguage
economyType
"economy type")
domainEnglishFormat.kif 21202-21202
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
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
LowerMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
greaterThanOrEqualTo
?AMOUNT 756.0))))
Economy.kif 456-463
If
a time interval
is an
instance
of
time interval
and
lower middle 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
greater
than or equal to 756.0
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
LowerMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
lessThan
?AMOUNT 2996.0))))
Economy.kif 465-472
If
a time interval
is an
instance
of
time interval
and
lower middle 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 2996.0
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
UpperMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
greaterThanOrEqualTo
?AMOUNT 2996.0))))
Economy.kif 481-488
If
a time interval
is an
instance
of
time interval
and
upper middle 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
greater
than or equal to 2996.0
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
UpperMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
lessThan
?AMOUNT 9267.0))))
Economy.kif 490-497
If
a time interval
is an
instance
of
time interval
and
upper middle 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 9267.0
(=>
(
economyType
?AGENT ?ATTRIBUTE)
(
or
(
instance
?AGENT
GeopoliticalArea
)
(
instance
?AGENT
Organization
)))
Economy.kif 91-95
If
an economic attribute
is an
economy
type of
an agent
,
then
the agent
is an
instance
of
geopolitical area
or
the agent
is an
instance
of
organization
consequent
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
If
communist state
is an
attribute
of
an agent
and
the agent
is an
instance
of
nation
,
then
centrally planned economy
is an
economy
type of
the agent
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
If
high income country
is an
attribute
of
an agent
and
the agent
is not a
member
of
organization of petroleum exporting countries
,
then
developed country
is an
economy
type of
the agent
(=>
(
attribute
?AREA
FormerSovietOrEasternEuropeanCountry
)
(
economyType
?AREA
CountryInTransition
))
Economy.kif 189-191
If
former soviet or eastern european country
is an
attribute
of
an agent
,
then
country in transition
is an
economy
type of
the agent
(=>
(
attribute
?AREA
FourDragonsEconomy
)
(
economyType
?AREA
AdvancedEconomy
))
Economy.kif 388-390
If
four dragons economy
is an
attribute
of
an agent
,
then
advanced economy
is an
economy
type of
the agent
(=>
(
attribute
?AREA
FourDragonsEconomy
)
(
economyType
?AREA
LessDevelopedCountry
))
Economy.kif 384-386
If
four dragons economy
is an
attribute
of
an agent
,
then
less developed country
is an
economy
type of
the agent
(=>
(
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
(=>
(
attribute
?AREA
MajorIndustrialEconomy
)
(
economyType
?AREA
AdvancedEconomy
))
Economy.kif 747-749
If
major industrial economy
is an
attribute
of
an agent
,
then
advanced economy
is an
economy
type of
the agent
(=>
(
attribute
?AREA
MajorIndustrialEconomy
)
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 743-745
If
major industrial economy
is an
attribute
of
an agent
,
then
developed country
is an
economy
type of
the agent
(=>
(
attribute
?AREA
PrivatizingEconomy
)
(
economyType
?AREA
CountryInTransition
))
Economy.kif 879-881
If
privatizing economy
is an
attribute
of
an agent
,
then
country in transition
is an
economy
type of
the agent
appearance as argument number 0
(
economyType
Afghanistan
DevelopingCountry
)
Economy.kif 615-615
Developing country
is an
economy
type of
afghanistan
(
economyType
Afghanistan
LessDevelopedCountry
)
Economy.kif 231-231
Less developed country
is an
economy
type of
afghanistan
(
economyType
Albania
CountryInTransition
)
Economy.kif 574-574
Country in transition
is an
economy
type of
albania
(
economyType
Algeria
DevelopingCountry
)
Economy.kif 616-616
Developing country
is an
economy
type of
algeria
(
economyType
Algeria
LessDevelopedCountry
)
Economy.kif 232-232
Less developed country
is an
economy
type of
algeria
(
economyType
Andorra
DevelopedCountry
)
Economy.kif 146-146
Developed country
is an
economy
type of
andorra
(
economyType
Angola
DevelopingCountry
)
Economy.kif 617-617
Developing country
is an
economy
type of
angola
(
economyType
Angola
LessDevelopedCountry
)
Economy.kif 233-233
Less developed country
is an
economy
type of
angola
(
economyType
AntiguaAndBarbuda
DevelopingCountry
)
Economy.kif 618-618
Developing country
is an
economy
type of
antigua and barbuda
(
economyType
AntiguaAndBarbuda
LessDevelopedCountry
)
Economy.kif 234-234
Less developed country
is an
economy
type of
antigua and barbuda
(
economyType
Argentina
DevelopingCountry
)
Economy.kif 619-619
Developing country
is an
economy
type of
argentina
(
economyType
Argentina
LessDevelopedCountry
)
Economy.kif 235-235
Less developed country
is an
economy
type of
argentina
(
economyType
Armenia
CountryInTransition
)
Economy.kif 575-575
Country in transition
is an
economy
type of
armenia
(
economyType
Aruba
DevelopingCountry
)
Economy.kif 620-620
Developing country
is an
economy
type of
aruba
(
economyType
Aruba
LessDevelopedCountry
)
Economy.kif 236-236
Less developed country
is an
economy
type of
aruba
(
economyType
Australia
AdvancedEconomy
)
Economy.kif 535-535
Advanced economy
is an
economy
type of
australia
(
economyType
Australia
DevelopedCountry
)
Economy.kif 147-147
Developed country
is an
economy
type of
australia
(
economyType
Austria
AdvancedEconomy
)
Economy.kif 536-536
Advanced economy
is an
economy
type of
austria
(
economyType
Austria
DevelopedCountry
)
Economy.kif 148-148
Developed country
is an
economy
type of
austria
(
economyType
Azerbaijan
CountryInTransition
)
Economy.kif 576-576
Country in transition
is an
economy
type of
azerbaijan
(
economyType
Bahrain
DevelopingCountry
)
Economy.kif 622-622
Developing country
is an
economy
type of
bahrain
(
economyType
Bahrain
LessDevelopedCountry
)
Economy.kif 238-238
Less developed country
is an
economy
type of
bahrain
(
economyType
Bangladesh
DevelopingCountry
)
Economy.kif 623-623
Developing country
is an
economy
type of
bangladesh
(
economyType
Bangladesh
LessDevelopedCountry
)
Economy.kif 239-239
Less developed country
is an
economy
type of
bangladesh
(
economyType
Barbados
DevelopingCountry
)
Economy.kif 624-624
Developing country
is an
economy
type of
barbados
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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