1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
|
fof(axEconomySubAtt0, axiom,
f_subAttribute(inst_AdvancedDevelopingCountry,inst_LessDevelopedCountry)).
fof(axEconomySubAtt1, axiom,
f_subAttribute(inst_UnderdevelopedCountry,inst_LessDevelopedCountry)).
fof(axEconomySubAtt2, axiom,
f_subAttribute(inst_LeastDevelopedCountry,inst_LessDevelopedCountry)).
fof(axEconomySubAtt3, axiom,
f_subAttribute(inst_CapitalistEconomy,inst_PrivateEnterpriseEconomy)).
fof(axEconomySubAtt4, axiom,
f_subAttribute(inst_PureCapitalistEconomy,inst_CapitalistEconomy)).
fof(axEconomySubAtt5, axiom,
f_subAttribute(inst_PrivateEnterpriseEconomy,inst_CapitalistEconomy)).
fof(axEconomySubAtt6, axiom,
f_subAttribute(inst_PureSocialistEconomy,inst_SocialistEconomy)).
fof(axEconomySubAtt7, axiom,
f_subAttribute(inst_DemocraticSocialism,inst_SocialistEconomy)).
fof(axEconomySubAtt8, axiom,
f_subAttribute(inst_MarketSocialism,inst_PartialMarketEconomy)).
fof(axEconomySubAtt9, axiom,
f_subAttribute(inst_CommunalLandOwnershipEconomy,inst_SocialistEconomy)).
fof(axEconomySubAtt10, axiom,
f_subAttribute(inst_PartialMarketEconomy,inst_MixedEconomy)).
fof(axEconomySubAtt11, axiom,
f_subAttribute(inst_CentrallyPlannedEconomy,inst_GovernmentRegulatedEconomy)).
fof(axEconomySubAtt12, axiom,
f_subAttribute(inst_PrivatizingEconomy,inst_MixedEconomy)).
fof(axEconomySubAtt13, axiom,
f_subAttribute(inst_NationalizedIndustryEconomy,inst_GovernmentRegulatedEconomy)).
fof(axEconomySubAtt14, axiom,
f_subAttribute(inst_WelfareCapitalism,inst_MixedEconomy)).
fof(axEconomySubAtt15, axiom,
f_subAttribute(inst_WelfareCapitalism,inst_GovernmentSubsidizedEconomy)).
fof(axEconomySubAtt16, axiom,
f_subAttribute(inst_SubsistenceAgricultureEconomy,inst_AgricultureBasedEconomy)).
fof(axEconomySubAtt17, axiom,
f_subAttribute(inst_TaxHavenEconomy,inst_OffshoreFinancialSectorEconomy)).
fof(axEconomySubAtt18, axiom,
f_subAttribute(inst_OffshoreBankingSectorEconomy,inst_OffshoreFinancialSectorEconomy)).
fof(axEconomySubAtt19, axiom,
f_subAttribute(inst_AgricultureForestryFishingAndHunting,inst_AgriculturalSector)).
fof(axEconomySubAtt20, axiom,
f_subAttribute(inst_CoalMining,inst_CoalIndustry)).
fof(axEconomySubAtt21, axiom,
f_subAttribute(inst_CoalProductsManufacturing,inst_CoalIndustry)).
fof(axEconomySubAtt22, axiom,
f_subAttribute(inst_CopperOreMining,inst_CopperIndustry)).
fof(axEconomySubAtt23, axiom,
f_subAttribute(inst_PrimarySmeltingAndRefiningOfCopper,inst_CopperIndustry)).
fof(axEconomySubAtt24, axiom,
f_subAttribute(inst_CopperRollingDrawingExtrudingAndAlloying,inst_CopperIndustry)).
fof(axEconomySubAtt25, axiom,
f_subAttribute(inst_CopperFoundriesExceptDieCasting,inst_CopperIndustry)).
fof(axEconomySubAtt26, axiom,
f_subAttribute(inst_FertilizerManufacturing,inst_FertilizerIndustry)).
fof(axEconomySubAtt27, axiom,
f_subAttribute(inst_FertilizerMineralMining,inst_FertilizerIndustry)).
fof(axEconomySubAtt28, axiom,
f_subAttribute(inst_FurnitureAndRelatedProductManufacturing,inst_FurnitureIndustry)).
fof(axEconomySubAtt29, axiom,
f_subAttribute(inst_FurnitureAndHomeFurnishingWholesalers,inst_FurnitureIndustry)).
fof(axEconomySubAtt30, axiom,
f_subAttribute(inst_FurnitureAndHomeFurnishingsStores,inst_FurnitureIndustry)).
fof(axEconomySubAtt31, axiom,
f_subAttribute(inst_FurnitureManufacturing,inst_FurnitureAndRelatedProductManufacturing)).
fof(axEconomySubAtt32, axiom,
f_subAttribute(inst_HandwovenCarpetManufacturing,inst_HandicraftIndustry)).
fof(axEconomySubAtt33, axiom,
f_subAttribute(inst_LeadOreMining,inst_LeadIndustry)).
fof(axEconomySubAtt34, axiom,
f_subAttribute(inst_LeadManufacturing,inst_LeadIndustry)).
fof(axEconomySubAtt35, axiom,
f_subAttribute(inst_ForestryAndLogging,inst_LumberIndustry)).
fof(axEconomySubAtt36, axiom,
f_subAttribute(inst_WoodProductManufacturing,inst_LumberIndustry)).
fof(axEconomySubAtt37, axiom,
f_subAttribute(inst_Millwork,inst_LumberIndustry)).
fof(axEconomySubAtt38, axiom,
f_subAttribute(inst_LumberPlywoodMillworkAndWoodPanelWholesalers,inst_LumberIndustry)).
fof(axEconomySubAtt39, axiom,
f_subAttribute(inst_MiningExceptOilAndGas,inst_MiningIndustry)).
fof(axEconomySubAtt40, axiom,
f_subAttribute(inst_SupportActivitiesForMetalMining,inst_MiningIndustry)).
fof(axEconomySubAtt41, axiom,
f_subAttribute(inst_SupportActivitiesForNonmetallicMineralsExceptFuels,inst_MiningIndustry)).
fof(axEconomySubAtt42, axiom,
f_subAttribute(inst_MotorVehicleManufacturing,inst_MotorVehicleIndustry)).
fof(axEconomySubAtt43, axiom,
f_subAttribute(inst_MotorVehiclePartsManufacturing,inst_MotorVehicleIndustry)).
fof(axEconomySubAtt44, axiom,
f_subAttribute(inst_MotorVehicleBodyAndTrailerManufacturing,inst_MotorVehicleIndustry)).
fof(axEconomySubAtt45, axiom,
f_subAttribute(inst_MotorVehicleAndMotorVehiclePartsAndSuppliesWholesalers,inst_MotorVehicleIndustry)).
fof(axEconomySubAtt46, axiom,
f_subAttribute(inst_MotorVehicleAndPartsDealers,inst_MotorVehicleIndustry)).
fof(axEconomySubAtt47, axiom,
f_subAttribute(inst_NaturalGasLiquidExtraction,inst_NaturalGasIndustry)).
fof(axEconomySubAtt48, axiom,
f_subAttribute(inst_NaturalGasDistribution,inst_NaturalGasIndustry)).
fof(axEconomySubAtt49, axiom,
f_subAttribute(inst_PipelineTransportationOfNaturalGas,inst_NaturalGasIndustry)).
fof(axEconomySubAtt50, axiom,
f_subAttribute(inst_PetroleumProductsManufacturing,inst_PetroleumIndustry)).
fof(axEconomySubAtt51, axiom,
f_subAttribute(inst_PetroleumRefineries,inst_PetroleumIndustry)).
fof(axEconomySubAtt52, axiom,
f_subAttribute(inst_CrudePetroleumExtraction,inst_PetroleumIndustry)).
fof(axEconomySubAtt53, axiom,
f_subAttribute(inst_DrillingOilAndGasWells,inst_PetroleumIndustry)).
fof(axEconomySubAtt54, axiom,
f_subAttribute(inst_SupportActivitiesForOilOperations,inst_PetroleumIndustry)).
fof(axEconomySubAtt55, axiom,
f_subAttribute(inst_AsphaltPavingRoofingAndSaturatedMaterialsManufacturing,inst_PetroleumIndustry)).
fof(axEconomySubAtt56, axiom,
f_subAttribute(inst_RefrigerationEquipmentManufacturing,inst_RefrigeratorAndFreezerIndustry)).
fof(axEconomySubAtt57, axiom,
f_subAttribute(inst_RefrigerationEquipmentAndSuppliesWholesalers,inst_RefrigeratorAndFreezerIndustry)).
fof(axEconomySubAtt58, axiom,
f_subAttribute(inst_RefrigeratedWarehousingAndStorage,inst_RefrigeratorAndFreezerIndustry)).
fof(axEconomySubAtt59, axiom,
f_subAttribute(inst_HouseholdRefrigeratorAndHomeFreezerManufacturing,inst_RefrigeratorAndFreezerIndustry)).
fof(axEconomySubAtt60, axiom,
f_subAttribute(inst_CommercialAndIndustrialRefrigerationAndEquipmentManufacturing,inst_RefrigeratorAndFreezerIndustry)).
fof(axEconomySubAtt61, axiom,
f_subAttribute(inst_SteelMills,inst_SteelIndustry)).
fof(axEconomySubAtt62, axiom,
f_subAttribute(inst_SteelForging,inst_SteelIndustry)).
fof(axEconomySubAtt63, axiom,
f_subAttribute(inst_SteelFoundriesExceptInvestment,inst_SteelIndustry)).
fof(axEconomySubAtt64, axiom,
f_subAttribute(inst_SteelInvestmentFoundries,inst_SteelIndustry)).
fof(axEconomySubAtt65, axiom,
f_subAttribute(inst_SteelProductManufacturingFromPurchasedSteel,inst_SteelIndustry)).
fof(axEconomySubAtt66, axiom,
f_subAttribute(inst_TextileMills,inst_TextileIndustry)).
fof(axEconomySubAtt67, axiom,
f_subAttribute(inst_TextileProductMills,inst_TextileIndustry)).
fof(axEconomySubAtt68, axiom,
f_subAttribute(inst_GrainAndOilseedMilling,inst_VegetableOilIndustry)).
fof(axEconomySubAtt69, axiom,
f_subAttribute(inst_ZincOreMining,inst_ZincIndustry)).
fof(axEconomySubAtt70, axiom,
f_subAttribute(inst_CornFarming,inst_CerealGrainFarming)).
fof(axEconomySubAtt71, axiom,
f_subAttribute(inst_RiceFarming,inst_CerealGrainFarming)).
fof(axEconomySubAtt72, axiom,
f_subAttribute(inst_WheatFarming,inst_CerealGrainFarming)).
fof(axEconomySubAtt73, axiom,
f_subAttribute(inst_OatFarming,inst_CerealGrainFarming)).
fof(axEconomySubAtt74, axiom,
f_subAttribute(inst_BarleyFarming,inst_CerealGrainFarming)).
fof(axEconomySubAtt75, axiom,
f_subAttribute(inst_RyeFarming,inst_CerealGrainFarming)).
fof(axEconomySubAtt76, axiom,
f_subAttribute(inst_MilletFarming,inst_CerealGrainFarming)).
|
