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 economyType is an instance of agent
(domain economyType 2 EconomicAttribute)	Economy.kif 85-85	The number 2 argument of economyType is an instance of EconomicAttribute
(instance economyType BinaryPredicate)	Economy.kif 80-80	economyType is an instance of binary predicate
(subrelation economyType attribute)	Economy.kif 86-86	economyType 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 21212-21212
(termFormat ChineseTraditionalLanguage economyType "經濟類型")	domainEnglishFormat.kif 21211-21211
(termFormat EnglishLanguage economyType "economy type")	domainEnglishFormat.kif 21210-21210

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 economyType a geopolitical area and LowIncomeCountry holds during the time interval, then there exists a real number such that perCapitaGDPInPeriod the geopolitical area, the real number UnitedStatesDollar(s) and 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 economyType a geopolitical area and LowerMiddleIncomeCountry holds during the time interval, then there exists a real number such that perCapitaGDPInPeriod the geopolitical area, the real number UnitedStatesDollar(s) and 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 economyType a geopolitical area and LowerMiddleIncomeCountry holds during the time interval, then there exists a real number such that perCapitaGDPInPeriod the geopolitical area, the real number UnitedStatesDollar(s) and 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 economyType a geopolitical area and UpperMiddleIncomeCountry holds during the time interval, then there exists a real number such that perCapitaGDPInPeriod the geopolitical area, the real number UnitedStatesDollar(s) and 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 economyType a geopolitical area and UpperMiddleIncomeCountry holds during the time interval, then there exists a real number such that perCapitaGDPInPeriod the geopolitical area, the real number UnitedStatesDollar(s) and 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 economyType an agent and an EconomicAttribute, 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 CommunistState is an attribute of an agent and the agent is an instance of nation, then economyType the agent and CentrallyPlannedEconomy
(=> (and (attribute ?AREA HighIncomeCountry) (not (member ?AREA OrganizationOfPetroleumExportingCountries))) (economyType ?AREA DevelopedCountry))	Economy.kif 506-510	If HighIncomeCountry is an attribute of an agent and the agent is not a member of OrganizationOfPetroleumExportingCountries, then economyType the agent and DevelopedCountry
(=> (attribute ?AREA FormerSovietOrEasternEuropeanCountry) (economyType ?AREA CountryInTransition))	Economy.kif 189-191	If FormerSovietOrEasternEuropeanCountry is an attribute of an agent, then economyType the agent and CountryInTransition
(=> (attribute ?AREA FourDragonsEconomy) (economyType ?AREA AdvancedEconomy))	Economy.kif 388-390	If FourDragonsEconomy is an attribute of an agent, then economyType the agent and AdvancedEconomy
(=> (attribute ?AREA FourDragonsEconomy) (economyType ?AREA LessDevelopedCountry))	Economy.kif 384-386	If FourDragonsEconomy is an attribute of an agent, then economyType the agent and LessDevelopedCountry
(=> (attribute ?AREA LowIncomeCountry) (economyType ?AREA LeastDevelopedCountry))	Economy.kif 432-434	If LowIncomeCountry is an attribute of an agent, then economyType the agent and LeastDevelopedCountry
(=> (attribute ?AREA MajorIndustrialEconomy) (economyType ?AREA AdvancedEconomy))	Economy.kif 747-749	If MajorIndustrialEconomy is an attribute of an agent, then economyType the agent and AdvancedEconomy
(=> (attribute ?AREA MajorIndustrialEconomy) (economyType ?AREA DevelopedCountry))	Economy.kif 743-745	If MajorIndustrialEconomy is an attribute of an agent, then economyType the agent and DevelopedCountry
(=> (attribute ?AREA PrivatizingEconomy) (economyType ?AREA CountryInTransition))	Economy.kif 931-933	If PrivatizingEconomy is an attribute of an agent, then economyType the agent 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 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: