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
(
domain
economyType
2
EconomicAttribute
)
Economy.kif 85-85
(
instance
economyType
BinaryPredicate
)
Economy.kif 80-80
(
subrelation
economyType
attribute
)
Economy.kif 86-86
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
economyType
?AGENT ?ATTRIBUTE)
(
or
(
instance
?AGENT
GeopoliticalArea
)
(
instance
?AGENT
Organization
)))
Economy.kif 91-95
consequent
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
(=>
(
attribute
?AREA
FormerSovietOrEasternEuropeanCountry
)
(
economyType
?AREA
CountryInTransition
))
Economy.kif 189-191
(=>
(
attribute
?AREA
FourDragonsEconomy
)
(
economyType
?AREA
AdvancedEconomy
))
Economy.kif 388-390
(=>
(
attribute
?AREA
FourDragonsEconomy
)
(
economyType
?AREA
LessDevelopedCountry
))
Economy.kif 384-386
(=>
(
attribute
?AREA
LowIncomeCountry
)
(
economyType
?AREA
LeastDevelopedCountry
))
Economy.kif 432-434
(=>
(
attribute
?AREA
MajorIndustrialEconomy
)
(
economyType
?AREA
AdvancedEconomy
))
Economy.kif 747-749
(=>
(
attribute
?AREA
MajorIndustrialEconomy
)
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 743-745
(=>
(
attribute
?AREA
PrivatizingEconomy
)
(
economyType
?AREA
CountryInTransition
))
Economy.kif 879-881
appearance as argument number 0
(
economyType
Afghanistan
DevelopingCountry
)
Economy.kif 615-615
(
economyType
Afghanistan
LessDevelopedCountry
)
Economy.kif 231-231
(
economyType
Albania
CountryInTransition
)
Economy.kif 574-574
(
economyType
Algeria
DevelopingCountry
)
Economy.kif 616-616
(
economyType
Algeria
LessDevelopedCountry
)
Economy.kif 232-232
(
economyType
Andorra
DevelopedCountry
)
Economy.kif 146-146
(
economyType
Angola
DevelopingCountry
)
Economy.kif 617-617
(
economyType
Angola
LessDevelopedCountry
)
Economy.kif 233-233
(
economyType
AntiguaAndBarbuda
DevelopingCountry
)
Economy.kif 618-618
(
economyType
AntiguaAndBarbuda
LessDevelopedCountry
)
Economy.kif 234-234
(
economyType
Argentina
DevelopingCountry
)
Economy.kif 619-619
(
economyType
Argentina
LessDevelopedCountry
)
Economy.kif 235-235
(
economyType
Armenia
CountryInTransition
)
Economy.kif 575-575
(
economyType
Aruba
DevelopingCountry
)
Economy.kif 620-620
(
economyType
Aruba
LessDevelopedCountry
)
Economy.kif 236-236
(
economyType
Australia
AdvancedEconomy
)
Economy.kif 535-535
(
economyType
Australia
DevelopedCountry
)
Economy.kif 147-147
(
economyType
Austria
AdvancedEconomy
)
Economy.kif 536-536
(
economyType
Austria
DevelopedCountry
)
Economy.kif 148-148
(
economyType
Azerbaijan
CountryInTransition
)
Economy.kif 576-576
(
economyType
Bahrain
DevelopingCountry
)
Economy.kif 622-622
(
economyType
Bahrain
LessDevelopedCountry
)
Economy.kif 238-238
(
economyType
Bangladesh
DevelopingCountry
)
Economy.kif 623-623
(
economyType
Bangladesh
LessDevelopedCountry
)
Economy.kif 239-239
(
economyType
Barbados
DevelopingCountry
)
Economy.kif 624-624
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