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
经济类型
的 1 数量 是
施事体
的
instance
(
domain
economyType
2
EconomicAttribute
)
Economy.kif 85-85
经济类型
的 2 数量 是
经济属性
的
instance
(
instance
economyType
BinaryPredicate
)
Economy.kif 80-80
经济类型
是
二元谓语
的
instance
(
subrelation
economyType
attribute
)
Economy.kif 86-86
经济类型
是
属于
的
subrelation
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
如果
时距
是
时距
的
instance
和
低收入国家
是
地缘政治区域
的
economy
类别 在
那个 时距
holdsDuring
,
然后 有存在
实数
这样
那个 地缘政治区域
是 对于
那个 时距
在周期
那个 实数
美国美元
的
per
人头 GDP 和
那个 实数
是
lessThan
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
如果
时距
是
时距
的
instance
和
中低收入国家
是
地缘政治区域
的
economy
类别 在
那个 时距
holdsDuring
,
然后 有存在
实数
这样
那个 地缘政治区域
是 对于
那个 时距
在周期
那个 实数
美国美元
的
per
人头 GDP 和
那个 实数
是
greaterThanOrEqualTo
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
如果
时距
是
时距
的
instance
和
中低收入国家
是
地缘政治区域
的
economy
类别 在
那个 时距
holdsDuring
,
然后 有存在
实数
这样
那个 地缘政治区域
是 对于
那个 时距
在周期
那个 实数
美国美元
的
per
人头 GDP 和
那个 实数
是
lessThan
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
如果
时距
是
时距
的
instance
和
中上收入国家
是
地缘政治区域
的
economy
类别 在
那个 时距
holdsDuring
,
然后 有存在
实数
这样
那个 地缘政治区域
是 对于
那个 时距
在周期
那个 实数
美国美元
的
per
人头 GDP 和
那个 实数
是
greaterThanOrEqualTo
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
如果
时距
是
时距
的
instance
和
中上收入国家
是
地缘政治区域
的
economy
类别 在
那个 时距
holdsDuring
,
然后 有存在
实数
这样
那个 地缘政治区域
是 对于
那个 时距
在周期
那个 实数
美国美元
的
per
人头 GDP 和
那个 实数
是
lessThan
9267.0
(=>
(
economyType
?AGENT ?ATTRIBUTE)
(
or
(
instance
?AGENT
GeopoliticalArea
)
(
instance
?AGENT
Organization
)))
Economy.kif 91-95
如果
经济属性
是
施事体
的
economy
类别,
然后
那个 施事体
是
地缘政治区域
的
instance
或
那个 施事体
是
机构
的
instance
consequent
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
如果
共产主义国家
是
施事体
的
attribute
和
那个 施事体
是
国家
的
instance
,
然后
中央计划经济
是
那个 施事体
的
economy
类别
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
如果
高收入国家
是
施事体
的
attribute
和
那个 施事体
不 是
石油输出国组织
的
member
,
然后
发达国家
是
那个 施事体
的
economy
类别
(=>
(
attribute
?AREA
FormerSovietOrEasternEuropeanCountry
)
(
economyType
?AREA
CountryInTransition
))
Economy.kif 189-191
如果
前苏联或东欧国家
是
施事体
的
attribute
,
然后
转型国家
是
那个 施事体
的
economy
类别
(=>
(
attribute
?AREA
FourDragonsEconomy
)
(
economyType
?AREA
AdvancedEconomy
))
Economy.kif 388-390
如果
四龙经济
是
施事体
的
attribute
,
然后
发达经济
是
那个 施事体
的
economy
类别
(=>
(
attribute
?AREA
FourDragonsEconomy
)
(
economyType
?AREA
LessDevelopedCountry
))
Economy.kif 384-386
如果
四龙经济
是
施事体
的
attribute
,
然后
较未发达国家
是
那个 施事体
的
economy
类别
(=>
(
attribute
?AREA
LowIncomeCountry
)
(
economyType
?AREA
LeastDevelopedCountry
))
Economy.kif 432-434
如果
低收入国家
是
施事体
的
attribute
,
然后
最不发达国家
是
那个 施事体
的
economy
类别
(=>
(
attribute
?AREA
MajorIndustrialEconomy
)
(
economyType
?AREA
AdvancedEconomy
))
Economy.kif 747-749
如果
主要工业经济
是
施事体
的
attribute
,
然后
发达经济
是
那个 施事体
的
economy
类别
(=>
(
attribute
?AREA
MajorIndustrialEconomy
)
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 743-745
如果
主要工业经济
是
施事体
的
attribute
,
然后
发达国家
是
那个 施事体
的
economy
类别
(=>
(
attribute
?AREA
PrivatizingEconomy
)
(
economyType
?AREA
CountryInTransition
))
Economy.kif 879-881
如果
私有化经济
是
施事体
的
attribute
,
然后
转型国家
是
那个 施事体
的
economy
类别
appearance as argument number 0
(
economyType
Afghanistan
DevelopingCountry
)
Economy.kif 615-615
发展中国家
是
阿富汗
的
economy
类别
(
economyType
Afghanistan
LessDevelopedCountry
)
Economy.kif 231-231
较未发达国家
是
阿富汗
的
economy
类别
(
economyType
Albania
CountryInTransition
)
Economy.kif 574-574
转型国家
是
阿尔巴尼亚
的
economy
类别
(
economyType
Algeria
DevelopingCountry
)
Economy.kif 616-616
发展中国家
是
阿尔及利亚
的
economy
类别
(
economyType
Algeria
LessDevelopedCountry
)
Economy.kif 232-232
较未发达国家
是
阿尔及利亚
的
economy
类别
(
economyType
Andorra
DevelopedCountry
)
Economy.kif 146-146
发达国家
是
安道尔
的
economy
类别
(
economyType
Angola
DevelopingCountry
)
Economy.kif 617-617
发展中国家
是
安哥拉
的
economy
类别
(
economyType
Angola
LessDevelopedCountry
)
Economy.kif 233-233
较未发达国家
是
安哥拉
的
economy
类别
(
economyType
AntiguaAndBarbuda
DevelopingCountry
)
Economy.kif 618-618
发展中国家
是
安提瓜和巴布达
的
economy
类别
(
economyType
AntiguaAndBarbuda
LessDevelopedCountry
)
Economy.kif 234-234
较未发达国家
是
安提瓜和巴布达
的
economy
类别
(
economyType
Argentina
DevelopingCountry
)
Economy.kif 619-619
发展中国家
是
阿根廷
的
economy
类别
(
economyType
Argentina
LessDevelopedCountry
)
Economy.kif 235-235
较未发达国家
是
阿根廷
的
economy
类别
(
economyType
Armenia
CountryInTransition
)
Economy.kif 575-575
转型国家
是
亚美尼亚
的
economy
类别
(
economyType
Aruba
DevelopingCountry
)
Economy.kif 620-620
发展中国家
是
阿鲁巴
的
economy
类别
(
economyType
Aruba
LessDevelopedCountry
)
Economy.kif 236-236
较未发达国家
是
阿鲁巴
的
economy
类别
(
economyType
Australia
AdvancedEconomy
)
Economy.kif 535-535
发达经济
是
澳大利亚
的
economy
类别
(
economyType
Australia
DevelopedCountry
)
Economy.kif 147-147
发达国家
是
澳大利亚
的
economy
类别
(
economyType
Austria
AdvancedEconomy
)
Economy.kif 536-536
发达经济
是
奥地利
的
economy
类别
(
economyType
Austria
DevelopedCountry
)
Economy.kif 148-148
发达国家
是
奥地利
的
economy
类别
(
economyType
Azerbaijan
CountryInTransition
)
Economy.kif 576-576
转型国家
是
阿塞拜疆
的
economy
类别
(
economyType
Bahrain
DevelopingCountry
)
Economy.kif 622-622
发展中国家
是
巴林
的
economy
类别
(
economyType
Bahrain
LessDevelopedCountry
)
Economy.kif 238-238
较未发达国家
是
巴林
的
economy
类别
(
economyType
Bangladesh
DevelopingCountry
)
Economy.kif 623-623
发展中国家
是
孟加拉国
的
economy
类别
(
economyType
Bangladesh
LessDevelopedCountry
)
Economy.kif 239-239
较未发达国家
是
孟加拉国
的
economy
类别
(
economyType
Barbados
DevelopingCountry
)
Economy.kif 624-624
发展中国家
是
巴巴多斯
的
economy
类别
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