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
economyType
の数値 1 引数は
AutonomousAgent
の
instance
では %n
(
domain
economyType
2
EconomicAttribute
)
Economy.kif 85-85
economyType
の数値 2 引数は
EconomicAttribute
の
instance
では %n
(
instance
economyType
BinaryPredicate
)
Economy.kif 80-80
economyType
は
2進述語
の
instance
では %n
(
subrelation
economyType
attribute
)
Economy.kif 86-86
economyType
は
attribute
の
subrelation
では %n
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
では %n
economyType
地政学的地域
and
LowIncomeCountry
は
時間間隔
の
during
holds %n{ない}
実数
perCapitaGDPInPeriod
地政学的地域
,
実数
の
UnitedStatesDollar
(s) and
時間間隔
実数
は 756.0 より
less
では %n
(=>
(
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
では %n
economyType
地政学的地域
and
LowerMiddleIncomeCountry
は
時間間隔
の
during
holds %n{ない}
実数
perCapitaGDPInPeriod
地政学的地域
,
実数
の
UnitedStatesDollar
(s) and
時間間隔
実数
は 756.0
greater
では %n
(=>
(
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
では %n
economyType
地政学的地域
and
LowerMiddleIncomeCountry
は
時間間隔
の
during
holds %n{ない}
実数
perCapitaGDPInPeriod
地政学的地域
,
実数
の
UnitedStatesDollar
(s) and
時間間隔
実数
は 2996.0 より
less
では %n
(=>
(
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
では %n
economyType
地政学的地域
and
UpperMiddleIncomeCountry
は
時間間隔
の
during
holds %n{ない}
実数
perCapitaGDPInPeriod
地政学的地域
,
実数
の
UnitedStatesDollar
(s) and
時間間隔
実数
は 2996.0
greater
では %n
(=>
(
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
では %n
economyType
地政学的地域
and
UpperMiddleIncomeCountry
は
時間間隔
の
during
holds %n{ない}
実数
perCapitaGDPInPeriod
地政学的地域
,
実数
の
UnitedStatesDollar
(s) and
時間間隔
実数
は 9267.0 より
less
では %n
(=>
(
economyType
?AGENT ?ATTRIBUTE)
(
or
(
instance
?AGENT
GeopoliticalArea
)
(
instance
?AGENT
Organization
)))
Economy.kif 91-95
economyType
AutonomousAgent
and
EconomicAttribute
AutonomousAgent
は
地政学的地域
の
instance
では %n
AutonomousAgent
は
組織
の
instance
では %n
consequent
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
CommunistState
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
国民
の
instance
では %n
economyType
AutonomousAgent
and
CentrallyPlannedEconomy
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
HighIncomeCountry
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
OrganizationOfPetroleumExportingCountries
の
member
では
economyType
AutonomousAgent
and
DevelopedCountry
(=>
(
attribute
?AREA
FormerSovietOrEasternEuropeanCountry
)
(
economyType
?AREA
CountryInTransition
))
Economy.kif 189-191
FormerSovietOrEasternEuropeanCountry
は
AutonomousAgent
の
attribute
では %n
economyType
AutonomousAgent
and
CountryInTransition
(=>
(
attribute
?AREA
FourDragonsEconomy
)
(
economyType
?AREA
AdvancedEconomy
))
Economy.kif 388-390
FourDragonsEconomy
は
AutonomousAgent
の
attribute
では %n
economyType
AutonomousAgent
and
AdvancedEconomy
(=>
(
attribute
?AREA
FourDragonsEconomy
)
(
economyType
?AREA
LessDevelopedCountry
))
Economy.kif 384-386
FourDragonsEconomy
は
AutonomousAgent
の
attribute
では %n
economyType
AutonomousAgent
and
LessDevelopedCountry
(=>
(
attribute
?AREA
LowIncomeCountry
)
(
economyType
?AREA
LeastDevelopedCountry
))
Economy.kif 432-434
LowIncomeCountry
は
AutonomousAgent
の
attribute
では %n
economyType
AutonomousAgent
and
LeastDevelopedCountry
(=>
(
attribute
?AREA
MajorIndustrialEconomy
)
(
economyType
?AREA
AdvancedEconomy
))
Economy.kif 747-749
MajorIndustrialEconomy
は
AutonomousAgent
の
attribute
では %n
economyType
AutonomousAgent
and
AdvancedEconomy
(=>
(
attribute
?AREA
MajorIndustrialEconomy
)
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 743-745
MajorIndustrialEconomy
は
AutonomousAgent
の
attribute
では %n
economyType
AutonomousAgent
and
DevelopedCountry
(=>
(
attribute
?AREA
PrivatizingEconomy
)
(
economyType
?AREA
CountryInTransition
))
Economy.kif 879-881
PrivatizingEconomy
は
AutonomousAgent
の
attribute
では %n
economyType
AutonomousAgent
and
CountryInTransition
appearance as argument number 0
(
economyType
Afghanistan
DevelopingCountry
)
Economy.kif 615-615
economyType
Afghanistan
and
DevelopingCountry
(
economyType
Afghanistan
LessDevelopedCountry
)
Economy.kif 231-231
economyType
Afghanistan
and
LessDevelopedCountry
(
economyType
Albania
CountryInTransition
)
Economy.kif 574-574
economyType
Albania
and
CountryInTransition
(
economyType
Algeria
DevelopingCountry
)
Economy.kif 616-616
economyType
Algeria
and
DevelopingCountry
(
economyType
Algeria
LessDevelopedCountry
)
Economy.kif 232-232
economyType
Algeria
and
LessDevelopedCountry
(
economyType
Andorra
DevelopedCountry
)
Economy.kif 146-146
economyType
Andorra
and
DevelopedCountry
(
economyType
Angola
DevelopingCountry
)
Economy.kif 617-617
economyType
Angola
and
DevelopingCountry
(
economyType
Angola
LessDevelopedCountry
)
Economy.kif 233-233
economyType
Angola
and
LessDevelopedCountry
(
economyType
AntiguaAndBarbuda
DevelopingCountry
)
Economy.kif 618-618
economyType
AntiguaAndBarbuda
and
DevelopingCountry
(
economyType
AntiguaAndBarbuda
LessDevelopedCountry
)
Economy.kif 234-234
economyType
AntiguaAndBarbuda
and
LessDevelopedCountry
(
economyType
Argentina
DevelopingCountry
)
Economy.kif 619-619
economyType
Argentina
and
DevelopingCountry
(
economyType
Argentina
LessDevelopedCountry
)
Economy.kif 235-235
economyType
Argentina
and
LessDevelopedCountry
(
economyType
Armenia
CountryInTransition
)
Economy.kif 575-575
economyType
Armenia
and
CountryInTransition
(
economyType
Aruba
DevelopingCountry
)
Economy.kif 620-620
economyType
Aruba
and
DevelopingCountry
(
economyType
Aruba
LessDevelopedCountry
)
Economy.kif 236-236
economyType
Aruba
and
LessDevelopedCountry
(
economyType
Australia
AdvancedEconomy
)
Economy.kif 535-535
economyType
Australia
and
AdvancedEconomy
(
economyType
Australia
DevelopedCountry
)
Economy.kif 147-147
economyType
Australia
and
DevelopedCountry
(
economyType
Austria
AdvancedEconomy
)
Economy.kif 536-536
economyType
Austria
and
AdvancedEconomy
(
economyType
Austria
DevelopedCountry
)
Economy.kif 148-148
economyType
Austria
and
DevelopedCountry
(
economyType
Azerbaijan
CountryInTransition
)
Economy.kif 576-576
economyType
Azerbaijan
and
CountryInTransition
(
economyType
Bahrain
DevelopingCountry
)
Economy.kif 622-622
economyType
Bahrain
and
DevelopingCountry
(
economyType
Bahrain
LessDevelopedCountry
)
Economy.kif 238-238
economyType
Bahrain
and
LessDevelopedCountry
(
economyType
Bangladesh
DevelopingCountry
)
Economy.kif 623-623
economyType
Bangladesh
and
DevelopingCountry
(
economyType
Bangladesh
LessDevelopedCountry
)
Economy.kif 239-239
economyType
Bangladesh
and
LessDevelopedCountry
(
economyType
Barbados
DevelopingCountry
)
Economy.kif 624-624
economyType
Barbados
and
DevelopingCountry
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