EconomySubAttAx.p

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)).