economyType - Sigma Knowledge base Browser

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 21220-21220
(termFormat ChineseTraditionalLanguage economyType "經濟類型")	domainEnglishFormat.kif 21219-21219
(termFormat EnglishLanguage economyType "economy type")	domainEnglishFormat.kif 21218-21218

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: