economyType - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__economyType__m,s__EnglishLanguage,'"(economyType ?POLITY ?TYPE) means that the GeopoliticalArea ?POLITY has an economic system of TYPE."')	Economy.kif 88-89
s__domain(s__economyType__m,n__1,s__Agent)	Economy.kif 81-81	The number 1 argument of economy type is an instance of agent
s__domain(s__economyType__m,n__2,s__EconomicAttribute)	Economy.kif 85-85	The number 2 argument of economy type is an instance of economic attribute
s__instance(s__BinaryPredicate,s__Class) s__instance(s__economyType__m,s__BinaryPredicate)	Economy.kif 80-80	economy type is an instance of binary predicate
s__subrelation(s__economyType__m,s__attribute__m)	Economy.kif 86-86	economy type is a subrelation of attribute

appearance as argument number 2

s__format(s__ChineseLanguage,s__economyType__m,'"%2 %n 是 %1 的 economy 类别"')	domainEnglishFormat.kif 828-828
s__format(s__ChineseTraditionalLanguage,s__economyType__m,'"%2 %n 是 %1 的 economy 類別"')	domainEnglishFormat.kif 827-827
s__format(s__EnglishLanguage,s__economyType__m,'"%2 is %n an economy type of %1"')	domainEnglishFormat.kif 826-826
s__termFormat(s__ChineseLanguage,s__economyType__m,'"经济类型"')	domainEnglishFormat.kif 21195-21195
s__termFormat(s__ChineseTraditionalLanguage,s__economyType__m,'"經濟類型"')	domainEnglishFormat.kif 21194-21194
s__termFormat(s__EnglishLanguage,s__economyType__m,'"economy type"')	domainEnglishFormat.kif 21193-21193

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-446	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 the geopolitical area is per capitaGDP in period a real number united states dollar(s) for the time interval and the real number is less than 756
No TPTP formula. May not be expressible in strict first order.	Economy.kif 455-461	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 the geopolitical area is per capitaGDP in period a real number united states dollar(s) for the time interval and the real number is greater than or equal to 756
No TPTP formula. May not be expressible in strict first order.	Economy.kif 463-469	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 the geopolitical area is per capitaGDP in period a real number united states dollar(s) for the time interval and the real number is less than 2996
No TPTP formula. May not be expressible in strict first order.	Economy.kif 478-484	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 the geopolitical area is per capitaGDP in period a real number united states dollar(s) for the time interval and the real number is greater than or equal to 2996
No TPTP formula. May not be expressible in strict first order.	Economy.kif 486-492	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 the geopolitical area is per capitaGDP in period a real number united states dollar(s) for the time interval and the real number is less than 9267
( ! [V__AGENT,V__ATTRIBUTE] : (((s__instance(V__AGENT,s__Agent) & s__instance(V__ATTRIBUTE,s__EconomicAttribute)) => ((s__economyType(V__AGENT,V__ATTRIBUTE) => ((s__instance(V__AGENT,s__GeopoliticalArea) \| s__instance(V__AGENT,s__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

( ! [V__AREA] : (((s__attribute(V__AREA,s__CommunistState) & s__instance(V__AREA,s__Nation)) => (s__economyType(V__AREA,s__CentrallyPlannedEconomy))) ) )	Economy.kif 861-865	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
( ! [V__AREA] : ((s__instance(V__AREA,s__Agent) => (((s__attribute(V__AREA,s__HighIncomeCountry) & ~(s__member(V__AREA,s__OrganizationOfPetroleumExportingCountries))) => (s__economyType(V__AREA,s__DevelopedCountry))))) ) )	Economy.kif 501-505	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
( ! [V__AREA] : ((s__instance(V__AREA,s__Agent) => ((s__attribute(V__AREA,s__FormerSovietOrEasternEuropeanCountry) => (s__economyType(V__AREA,s__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
( ! [V__AREA] : ((s__instance(V__AREA,s__Agent) => ((s__attribute(V__AREA,s__FourDragonsEconomy) => (s__economyType(V__AREA,s__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
( ! [V__AREA] : ((s__instance(V__AREA,s__Agent) => ((s__attribute(V__AREA,s__FourDragonsEconomy) => (s__economyType(V__AREA,s__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
( ! [V__AREA] : ((s__instance(V__AREA,s__Agent) => ((s__attribute(V__AREA,s__LowIncomeCountry) => (s__economyType(V__AREA,s__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
( ! [V__AREA] : ((s__instance(V__AREA,s__Agent) => ((s__attribute(V__AREA,s__MajorIndustrialEconomy) => (s__economyType(V__AREA,s__AdvancedEconomy))))) ) )	Economy.kif 742-744	If major industrial economy is an attribute of an agent, then advanced economy is an economy type of the agent
( ! [V__AREA] : ((s__instance(V__AREA,s__Agent) => ((s__attribute(V__AREA,s__MajorIndustrialEconomy) => (s__economyType(V__AREA,s__DevelopedCountry))))) ) )	Economy.kif 738-740	If major industrial economy is an attribute of an agent, then developed country is an economy type of the agent
( ! [V__AREA] : ((s__instance(V__AREA,s__Agent) => ((s__attribute(V__AREA,s__PrivatizingEconomy) => (s__economyType(V__AREA,s__CountryInTransition))))) ) )	Economy.kif 875-877	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

s__economyType(s__Afghanistan,s__DevelopingCountry)	Economy.kif 610-610	Developing country is an economy type of afghanistan
s__economyType(s__Afghanistan,s__LessDevelopedCountry)	Economy.kif 231-231	Less developed country is an economy type of afghanistan
s__economyType(s__Albania,s__CountryInTransition)	Economy.kif 569-569	Country in transition is an economy type of albania
s__economyType(s__Algeria,s__DevelopingCountry)	Economy.kif 611-611	Developing country is an economy type of algeria
s__economyType(s__Algeria,s__LessDevelopedCountry)	Economy.kif 232-232	Less developed country is an economy type of algeria
s__economyType(s__Andorra,s__DevelopedCountry)	Economy.kif 146-146	Developed country is an economy type of andorra
s__economyType(s__Angola,s__DevelopingCountry)	Economy.kif 612-612	Developing country is an economy type of angola
s__economyType(s__Angola,s__LessDevelopedCountry)	Economy.kif 233-233	Less developed country is an economy type of angola
s__economyType(s__AntiguaAndBarbuda,s__DevelopingCountry)	Economy.kif 613-613	Developing country is an economy type of antigua and barbuda
s__economyType(s__AntiguaAndBarbuda,s__LessDevelopedCountry)	Economy.kif 234-234	Less developed country is an economy type of antigua and barbuda
s__economyType(s__Argentina,s__DevelopingCountry)	Economy.kif 614-614	Developing country is an economy type of argentina
s__economyType(s__Argentina,s__LessDevelopedCountry)	Economy.kif 235-235	Less developed country is an economy type of argentina
s__economyType(s__Armenia,s__CountryInTransition)	Economy.kif 570-570	Country in transition is an economy type of armenia
s__economyType(s__Aruba,s__DevelopingCountry)	Economy.kif 615-615	Developing country is an economy type of aruba
s__economyType(s__Aruba,s__LessDevelopedCountry)	Economy.kif 236-236	Less developed country is an economy type of aruba
s__economyType(s__Australia,s__AdvancedEconomy)	Economy.kif 530-530	Advanced economy is an economy type of australia
s__economyType(s__Australia,s__DevelopedCountry)	Economy.kif 147-147	Developed country is an economy type of australia
s__economyType(s__Austria,s__AdvancedEconomy)	Economy.kif 531-531	Advanced economy is an economy type of austria
s__economyType(s__Austria,s__DevelopedCountry)	Economy.kif 148-148	Developed country is an economy type of austria
s__economyType(s__Azerbaijan,s__CountryInTransition)	Economy.kif 571-571	Country in transition is an economy type of azerbaijan
s__economyType(s__Bahrain,s__DevelopingCountry)	Economy.kif 617-617	Developing country is an economy type of bahrain
s__economyType(s__Bahrain,s__LessDevelopedCountry)	Economy.kif 238-238	Less developed country is an economy type of bahrain
s__economyType(s__Bangladesh,s__DevelopingCountry)	Economy.kif 618-618	Developing country is an economy type of bangladesh
s__economyType(s__Bangladesh,s__LessDevelopedCountry)	Economy.kif 239-239	Less developed country is an economy type of bangladesh
s__economyType(s__Barbados,s__DevelopingCountry)	Economy.kif 619-619	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: