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
Il numero 1 argomenti di
economyType
è un
istanza
di
AutonomousAgent
(
domain
economyType
2
EconomicAttribute
)
Economy.kif 85-85
Il numero 2 argomenti di
economyType
è un
istanza
di
EconomicAttribute
(
instance
economyType
BinaryPredicate
)
Economy.kif 80-80
economyType
è un'
istanza
di
PredicatoBinario
(
subrelation
economyType
attribute
)
Economy.kif 86-86
economyType
è una
sottorelazione
di
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
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
economyType
AreaGeopolitica
and
LowIncomeCountry
vales
durante
IntervalloTemporale
NumeroReale
perCapitaGDPInPeriod
AreaGeopolitica
,
NumeroReale
UnitedStatesDollar
(s and
IntervalloTemporale
NumeroReale
è
meno
di756.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
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
economyType
AreaGeopolitica
and
LowerMiddleIncomeCountry
vales
durante
IntervalloTemporale
NumeroReale
perCapitaGDPInPeriod
AreaGeopolitica
,
NumeroReale
UnitedStatesDollar
(s and
IntervalloTemporale
NumeroReale
è
pi
ù grande di o uguale a 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
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
economyType
AreaGeopolitica
and
LowerMiddleIncomeCountry
vales
durante
IntervalloTemporale
NumeroReale
perCapitaGDPInPeriod
AreaGeopolitica
,
NumeroReale
UnitedStatesDollar
(s and
IntervalloTemporale
NumeroReale
è
meno
di2996.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
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
economyType
AreaGeopolitica
and
UpperMiddleIncomeCountry
vales
durante
IntervalloTemporale
NumeroReale
perCapitaGDPInPeriod
AreaGeopolitica
,
NumeroReale
UnitedStatesDollar
(s and
IntervalloTemporale
NumeroReale
è
pi
ù grande di o uguale a 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
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
economyType
AreaGeopolitica
and
UpperMiddleIncomeCountry
vales
durante
IntervalloTemporale
NumeroReale
perCapitaGDPInPeriod
AreaGeopolitica
,
NumeroReale
UnitedStatesDollar
(s and
IntervalloTemporale
NumeroReale
è
meno
di9267.0
(=>
(
economyType
?AGENT ?ATTRIBUTE)
(
or
(
instance
?AGENT
GeopoliticalArea
)
(
instance
?AGENT
Organization
)))
Economy.kif 91-95
economyType
AutonomousAgent
and
EconomicAttribute
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
AutonomousAgent
è un'
istanza
di
Organizzazione
consequent
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
attribute
AutonomousAgent
and
CommunistState
AutonomousAgent
è un'
istanza
di
Nazione
economyType
AutonomousAgent
and
CentrallyPlannedEconomy
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
attribute
AutonomousAgent
and
HighIncomeCountry
AutonomousAgent
è un
membro
di
OrganizationOfPetroleumExportingCountries
economyType
AutonomousAgent
and
DevelopedCountry
(=>
(
attribute
?AREA
FormerSovietOrEasternEuropeanCountry
)
(
economyType
?AREA
CountryInTransition
))
Economy.kif 189-191
attribute
AutonomousAgent
and
FormerSovietOrEasternEuropeanCountry
economyType
AutonomousAgent
and
CountryInTransition
(=>
(
attribute
?AREA
FourDragonsEconomy
)
(
economyType
?AREA
AdvancedEconomy
))
Economy.kif 388-390
attribute
AutonomousAgent
and
FourDragonsEconomy
economyType
AutonomousAgent
and
AdvancedEconomy
(=>
(
attribute
?AREA
FourDragonsEconomy
)
(
economyType
?AREA
LessDevelopedCountry
))
Economy.kif 384-386
attribute
AutonomousAgent
and
FourDragonsEconomy
economyType
AutonomousAgent
and
LessDevelopedCountry
(=>
(
attribute
?AREA
LowIncomeCountry
)
(
economyType
?AREA
LeastDevelopedCountry
))
Economy.kif 432-434
attribute
AutonomousAgent
and
LowIncomeCountry
economyType
AutonomousAgent
and
LeastDevelopedCountry
(=>
(
attribute
?AREA
MajorIndustrialEconomy
)
(
economyType
?AREA
AdvancedEconomy
))
Economy.kif 747-749
attribute
AutonomousAgent
and
MajorIndustrialEconomy
economyType
AutonomousAgent
and
AdvancedEconomy
(=>
(
attribute
?AREA
MajorIndustrialEconomy
)
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 743-745
attribute
AutonomousAgent
and
MajorIndustrialEconomy
economyType
AutonomousAgent
and
DevelopedCountry
(=>
(
attribute
?AREA
PrivatizingEconomy
)
(
economyType
?AREA
CountryInTransition
))
Economy.kif 879-881
attribute
AutonomousAgent
and
PrivatizingEconomy
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