EconomyAx.p

fof(axEconomy0, axiom, 
 ( ! [X] : 
 (hasType(type_AfghanAfghaniCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy1, axiom, 
 ( ! [X] : 
 (hasType(type_AgriculturalProduct, X) => hasType(type_Product, X)))).

fof(axEconomy2, axiom, 
 ( ! [X] : 
 (hasType(type_Alfalfa, X) => hasType(type_Fodder, X)))).

fof(axEconomy3, axiom, 
 ( ! [X] : 
 (hasType(type_Alfalfa, X) => hasType(type_Plant, X)))).

fof(axEconomy4, axiom, 
 ( ! [X] : 
 (hasType(type_Alfalfa, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy5, axiom, 
 ( ! [X] : 
 (hasType(type_AlmondNut, X) => hasType(type_EdibleNut, X)))).

fof(axEconomy6, axiom, 
 ( ! [X] : 
 (hasType(type_Aloes, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy7, axiom, 
 ( ! [X] : 
 (hasType(type_Alumina, X) => hasType(type_CompoundSubstance, X)))).

fof(axEconomy8, axiom, 
 ( ! [X] : 
 (hasType(type_AluminumMetal, X) => hasType(type_MetalProduct, X)))).

fof(axEconomy9, axiom, 
 ( ! [X] : 
 (hasType(type_AnimalSkin, X) => hasType(type_BodyCovering, X)))).

fof(axEconomy10, axiom, 
 ( ! [X] : 
 (hasType(type_Apple, X) => hasType(type_Fruit, X)))).

fof(axEconomy11, axiom, 
 ( ! [X] : 
 (hasType(type_Apple, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy12, axiom, 
 ( ! [X] : 
 (hasType(type_Asphalt, X) => hasType(type_RefinedPetroleumProduct, X)))).

fof(axEconomy13, axiom, 
 ( ! [X] : 
 (hasType(type_Avocado, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy14, axiom, 
 ( ! [X] : 
 (hasType(type_Avocado, X) => hasType(type_TropicalFruit, X)))).

fof(axEconomy15, axiom, 
 ( ! [X] : 
 (hasType(type_BalsaWood, X) => hasType(type_WoodProduct, X)))).

fof(axEconomy16, axiom, 
 ( ! [X] : 
 (hasType(type_Banana, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy17, axiom, 
 ( ! [X] : 
 (hasType(type_Banana, X) => hasType(type_TropicalFruit, X)))).

fof(axEconomy18, axiom, 
 ( ! [X] : 
 (hasType(type_BarleyGrain, X) => hasType(type_CerealGrain, X)))).

fof(axEconomy19, axiom, 
 ( ! [X] : 
 (hasType(type_Bauxite, X) => hasType(type_MiningProduct, X)))).

fof(axEconomy20, axiom, 
 ( ! [X] : 
 (hasType(type_Bauxite, X) => hasType(type_Mixture, X)))).

fof(axEconomy21, axiom, 
 ( ! [X] : 
 (hasType(type_Bean, X) => hasType(type_Legume, X)))).

fof(axEconomy22, axiom, 
 ( ! [X] : 
 (hasType(type_Berry, X) => hasType(type_Fruit, X)))).

fof(axEconomy23, axiom, 
 ( ! [X] : 
 (hasType(type_Berry, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy24, axiom, 
 ( ! [X] : 
 (hasType(type_BeverageProduct, X) => hasType(type_Product, X)))).

fof(axEconomy25, axiom, 
 ( ! [X] : 
 (hasType(type_BlackPepper, X) => hasType(type_Spice, X)))).

fof(axEconomy26, axiom, 
 ( ! [X] : 
 (hasType(type_Breadfruit, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy27, axiom, 
 ( ! [X] : 
 (hasType(type_Breadfruit, X) => hasType(type_TropicalFruit, X)))).

fof(axEconomy28, axiom, 
 ( ! [X] : 
 (hasType(type_BritishPoundCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy29, axiom, 
 ( ! [X] : 
 (hasType(type_Cabbage, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy30, axiom, 
 ( ! [X] : 
 (hasType(type_Cabbage, X) => hasType(type_Vegetable, X)))).

fof(axEconomy31, axiom, 
 ( ! [X] : 
 (hasType(type_Camel, X) => hasType(type_Livestock, X)))).

fof(axEconomy32, axiom, 
 ( ! [X] : 
 (hasType(type_Camel, X) => hasType(type_Mammal, X)))).

fof(axEconomy33, axiom, 
 ( ! [X] : 
 (hasType(type_CanadianDollarCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy34, axiom, 
 ( ! [X] : 
 (hasType(type_Cannabis, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy35, axiom, 
 ( ! [X] : 
 (hasType(type_CapitalGood, X) => hasType(type_Product, X)))).

fof(axEconomy36, axiom, 
 ( ! [X] : 
 (hasType(type_Cardamom, X) => hasType(type_Spice, X)))).

fof(axEconomy37, axiom, 
 ( ! [X] : 
 (hasType(type_Carrot, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy38, axiom, 
 ( ! [X] : 
 (hasType(type_Carrot, X) => hasType(type_RootVegetable, X)))).

fof(axEconomy39, axiom, 
 ( ! [X] : 
 (hasType(type_CashewNut, X) => hasType(type_EdibleNut, X)))).

fof(axEconomy40, axiom, 
 ( ! [X] : 
 (hasType(type_Cassava, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy41, axiom, 
 ( ! [X] : 
 (hasType(type_Cassava, X) => hasType(type_RootVegetable, X)))).

fof(axEconomy42, axiom, 
 ( ! [X] : 
 (hasType(type_Cattle, X) => hasType(type_HoofedMammal, X)))).

fof(axEconomy43, axiom, 
 ( ! [X] : 
 (hasType(type_Cattle, X) => hasType(type_Livestock, X)))).

fof(axEconomy44, axiom, 
 ( ! [X] : 
 (hasType(type_Cauliflower, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy45, axiom, 
 ( ! [X] : 
 (hasType(type_Cauliflower, X) => hasType(type_Vegetable, X)))).

fof(axEconomy46, axiom, 
 ( ! [X] : 
 (hasType(type_Caviar, X) => hasType(type_FishRoe, X)))).

fof(axEconomy47, axiom, 
 ( ! [X] : 
 (hasType(type_Cement, X) => hasType(type_CompoundSubstance, X)))).

fof(axEconomy48, axiom, 
 ( ! [X] : 
 (hasType(type_Cement, X) => hasType(type_ManufacturedProduct, X)))).

fof(axEconomy49, axiom, 
 ( ! [X] : 
 (hasType(type_CerealGrain, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy50, axiom, 
 ( ! [X] : 
 (hasType(type_CerealGrain, X) => hasType(type_Vegetable, X)))).

fof(axEconomy51, axiom, 
 ( ! [X] : 
 (hasType(type_CerealGrass, X) => hasType(type_Grass, X)))).

fof(axEconomy52, axiom, 
 ( ! [X] : 
 (hasType(type_Cheese, X) => hasType(type_DairyProduct, X)))).

fof(axEconomy53, axiom, 
 ( ! [X] : 
 (hasType(type_Cheese, X) => hasType(type_PreparedFood, X)))).

fof(axEconomy54, axiom, 
 ( ! [X] : 
 (hasType(type_ChemicalProduct, X) => hasType(type_CompoundSubstance, X)))).

fof(axEconomy55, axiom, 
 ( ! [X] : 
 (hasType(type_ChemicalProduct, X) => hasType(type_ManufacturedProduct, X)))).

fof(axEconomy56, axiom, 
 ( ! [X] : 
 (hasType(type_Chrysanthemum, X) => hasType(type_FloweringPlant, X)))).

fof(axEconomy57, axiom, 
 ( ! [X] : 
 (hasType(type_Chrysanthemum, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy58, axiom, 
 ( ! [X] : 
 (hasType(type_Cinnamon, X) => hasType(type_Spice, X)))).

fof(axEconomy59, axiom, 
 ( ! [X] : 
 (hasType(type_CitrusFruit, X) => hasType(type_Fruit, X)))).

fof(axEconomy60, axiom, 
 ( ! [X] : 
 (hasType(type_CitrusFruit, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy61, axiom, 
 ( ! [X] : 
 (hasType(type_ClothesDryer, X) => hasType(type_MajorAppliance, X)))).

fof(axEconomy62, axiom, 
 ( ! [X] : 
 (hasType(type_ClothesWashingMachine, X) => hasType(type_MajorAppliance, X)))).

fof(axEconomy63, axiom, 
 ( ! [X] : 
 (hasType(type_Clove, X) => hasType(type_Spice, X)))).

fof(axEconomy64, axiom, 
 ( ! [X] : 
 (hasType(type_Clover, X) => hasType(type_Fodder, X)))).

fof(axEconomy65, axiom, 
 ( ! [X] : 
 (hasType(type_Clover, X) => hasType(type_Plant, X)))).

fof(axEconomy66, axiom, 
 ( ! [X] : 
 (hasType(type_Clover, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy67, axiom, 
 ( ! [X] : 
 (hasType(type_Coca, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy68, axiom, 
 ( ! [X] : 
 (hasType(type_Cocaine, X) => hasType(type_Narcotic, X)))).

fof(axEconomy69, axiom, 
 ( ! [X] : 
 (hasType(type_Cocaine, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy70, axiom, 
 ( ! [X] : 
 (hasType(type_CocoaBean, X) => hasType(type_FruitOrVegetable, X)))).

fof(axEconomy71, axiom, 
 ( ! [X] : 
 (hasType(type_CocoaBean, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy72, axiom, 
 ( ! [X] : 
 (hasType(type_Cocoa, X) => hasType(type_FruitOrVegetable, X)))).

fof(axEconomy73, axiom, 
 ( ! [X] : 
 (hasType(type_Cocoa, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy74, axiom, 
 ( ! [X] : 
 (hasType(type_Coconut, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy75, axiom, 
 ( ! [X] : 
 (hasType(type_Coconut, X) => hasType(type_TropicalFruit, X)))).

fof(axEconomy76, axiom, 
 ( ! [X] : 
 (hasType(type_CoffeeBean, X) => hasType(type_FruitOrVegetable, X)))).

fof(axEconomy77, axiom, 
 ( ! [X] : 
 (hasType(type_CoffeeBean, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy78, axiom, 
 ( ! [X] : 
 (hasType(type_Concrete, X) => hasType(type_ManufacturedProduct, X)))).

fof(axEconomy79, axiom, 
 ( ! [X] : 
 (hasType(type_Concrete, X) => hasType(type_Mixture, X)))).

fof(axEconomy80, axiom, 
 ( ! [X] : 
 (hasType(type_ConsumerGood, X) => hasType(type_ManufacturedProduct, X)))).

fof(axEconomy81, axiom, 
 ( ! [X] : 
 (hasType(type_ControlledSubstance, X) => hasType(type_BiologicallyActiveSubstance, X)))).

fof(axEconomy82, axiom, 
 ( ! [X] : 
 (hasType(type_CookingOven, X) => hasType(type_MajorAppliance, X)))).

fof(axEconomy83, axiom, 
 ( ! [X] : 
 (hasType(type_CookingRange, X) => hasType(type_MajorAppliance, X)))).

fof(axEconomy84, axiom, 
 ( ! [X] : 
 (hasType(type_CopperOre, X) => hasType(type_Mineral, X)))).

fof(axEconomy85, axiom, 
 ( ! [X] : 
 (hasType(type_CopperOre, X) => hasType(type_MiningProduct, X)))).

fof(axEconomy86, axiom, 
 ( ! [X] : 
 (hasType(type_Copra, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy87, axiom, 
 ( ! [X] : 
 (hasType(type_CottonFiber, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy88, axiom, 
 ( ! [X] : 
 (hasType(type_CowPea, X) => hasType(type_Legume, X)))).

fof(axEconomy89, axiom, 
 ( ! [X] : 
 (hasType(type_Crayfish, X) => hasType(type_Shellfish, X)))).

fof(axEconomy90, axiom, 
 ( ! [X] : 
 (hasType(type_Cucumber, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy91, axiom, 
 ( ! [X] : 
 (hasType(type_Cucumber, X) => hasType(type_Vegetable, X)))).

fof(axEconomy92, axiom, 
 ( ! [X] : 
 (hasType(type_CutFlower, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy93, axiom, 
 ( ! [X] : 
 (hasType(type_DateFruit, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy94, axiom, 
 ( ! [X] : 
 (hasType(type_DateFruit, X) => hasType(type_TropicalFruit, X)))).

fof(axEconomy95, axiom, 
 ( ! [X] : 
 (hasType(type_Deer, X) => hasType(type_HoofedMammal, X)))).

fof(axEconomy96, axiom, 
 ( ! [X] : 
 (hasType(type_Deer, X) => hasType(type_Livestock, X)))).

fof(axEconomy97, axiom, 
 ( ! [X] : 
 (hasType(type_DieselFuel, X) => hasType(type_FossilFuel, X)))).

fof(axEconomy98, axiom, 
 ( ! [X] : 
 (hasType(type_Dishwasher, X) => hasType(type_MajorAppliance, X)))).

fof(axEconomy99, axiom, 
 ( ! [X] : 
 (hasType(type_Distilling, X) => hasType(type_Separating, X)))).

fof(axEconomy100, axiom, 
 ( ! [X] : 
 (hasType(type_DurableGood, X) => hasType(type_ManufacturedProduct, X)))).

fof(axEconomy101, axiom, 
 ( ! [X] : 
 (hasType(type_EconomicAttribute, X) => hasType(type_PoliticoEconomicAttribute, X)))).

fof(axEconomy102, axiom, 
 ( ! [X] : 
 (hasType(type_EconomicAttribute, X) => hasType(type_RelationalAttribute, X)))).

fof(axEconomy103, axiom, 
 ( ! [X] : 
 (hasType(type_EconomicDevelopmentLevel, X) => hasType(type_EconomicAttribute, X)))).

fof(axEconomy104, axiom, 
 ( ! [X] : 
 (hasType(type_EconomicSystemAttribute, X) => hasType(type_EconomicAttribute, X)))).

fof(axEconomy105, axiom, 
 ( ! [X] : 
 (hasType(type_EdibleNut, X) => hasType(type_FruitOrVegetable, X)))).

fof(axEconomy106, axiom, 
 ( ! [X] : 
 (hasType(type_EdibleNut, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy107, axiom, 
 ( ! [X] : 
 (hasType(type_EdibleTuber, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy108, axiom, 
 ( ! [X] : 
 (hasType(type_EdibleTuber, X) => hasType(type_RootVegetable, X)))).

fof(axEconomy109, axiom, 
 ( ! [X] : 
 (hasType(type_Eggplant, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy110, axiom, 
 ( ! [X] : 
 (hasType(type_Eggplant, X) => hasType(type_Vegetable, X)))).

fof(axEconomy111, axiom, 
 ( ! [X] : 
 (hasType(type_ElectricalPowerGeneration, X) => hasType(type_PowerGeneration, X)))).

fof(axEconomy112, axiom, 
 ( ! [X] : 
 (hasType(type_Electricity, X) => hasType(type_Substance, X)))).

fof(axEconomy113, axiom, 
 ( ! [X] : 
 (hasType(type_EuroCentCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy114, axiom, 
 ( ! [X] : 
 (hasType(type_EuroDollarCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy115, axiom, 
 ( ! [X] : 
 (hasType(type_Exporting, X) => hasType(type_ChangeOfPossession, X)))).

fof(axEconomy116, axiom, 
 ( ! [X] : 
 (hasType(type_Exporting, X) => hasType(type_FinancialTransaction, X)))).

fof(axEconomy117, axiom, 
 ( ! [X] : 
 (hasType(type_Fertilizer, X) => hasType(type_Mixture, X)))).

fof(axEconomy118, axiom, 
 ( ! [X] : 
 (hasType(type_FinancialSectorAttribute, X) => hasType(type_EconomicAttribute, X)))).

fof(axEconomy119, axiom, 
 ( ! [X] : 
 (hasType(type_FishProduct, X) => hasType(type_AnimalAgriculturalProduct, X)))).

fof(axEconomy120, axiom, 
 ( ! [X] : 
 (hasType(type_FishRoe, X) => hasType(type_FishProduct, X)))).

fof(axEconomy121, axiom, 
 ( ! [X] : 
 (hasType(type_FlaxFiber, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy122, axiom, 
 ( ! [X] : 
 (hasType(type_Fodder, X) => hasType(type_OrganicObject, X)))).

fof(axEconomy123, axiom, 
 ( ! [X] : 
 (hasType(type_FoodEgg, X) => hasType(type_AnimalAgriculturalProduct, X)))).

fof(axEconomy124, axiom, 
 ( ! [X] : 
 (hasType(type_FoodFish, X) => hasType(type_Seafood, X)))).

fof(axEconomy125, axiom, 
 ( ! [X] : 
 (hasType(type_FoodProduct, X) => hasType(type_Product, X)))).

fof(axEconomy126, axiom, 
 ( ! [X] : 
 (hasType(type_Footwear, X) => hasType(type_Clothing, X)))).

fof(axEconomy127, axiom, 
 ( ! [X] : 
 (hasType(type_ForageCrop, X) => hasType(type_Fodder, X)))).

fof(axEconomy128, axiom, 
 ( ! [X] : 
 (hasType(type_ForageCrop, X) => hasType(type_Plant, X)))).

fof(axEconomy129, axiom, 
 ( ! [X] : 
 (hasType(type_ForageCrop, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy130, axiom, 
 ( ! [X] : 
 (hasType(type_ForestProduct, X) => hasType(type_Product, X)))).

fof(axEconomy131, axiom, 
 ( ! [X] : 
 (hasType(type_Freezer, X) => hasType(type_MajorAppliance, X)))).

fof(axEconomy132, axiom, 
 ( ! [X] : 
 (hasType(type_FrenchFrancCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy133, axiom, 
 ( ! [X] : 
 (hasType(type_Fruit, X) => hasType(type_FruitOrVegetable, X)))).

fof(axEconomy134, axiom, 
 ( ! [X] : 
 (hasType(type_Furniture, X) => hasType(type_DurableGood, X)))).

fof(axEconomy135, axiom, 
 ( ! [X] : 
 (hasType(type_Gasoline, X) => hasType(type_FossilFuel, X)))).

fof(axEconomy136, axiom, 
 ( ! [X] : 
 (hasType(type_Gemstone, X) => hasType(type_Mixture, X)))).

fof(axEconomy137, axiom, 
 ( ! [X] : 
 (hasType(type_GermanMarkCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy138, axiom, 
 ( ! [X] : 
 (hasType(type_Ginger, X) => hasType(type_Spice, X)))).

fof(axEconomy139, axiom, 
 ( ! [X] : 
 (hasType(type_Ginger, X) => hasType(type_Vegetable, X)))).

fof(axEconomy140, axiom, 
 ( ! [X] : 
 (hasType(type_Goat, X) => hasType(type_HoofedMammal, X)))).

fof(axEconomy141, axiom, 
 ( ! [X] : 
 (hasType(type_Goat, X) => hasType(type_Livestock, X)))).

fof(axEconomy142, axiom, 
 ( ! [X] : 
 (hasType(type_Grape, X) => hasType(type_Fruit, X)))).

fof(axEconomy143, axiom, 
 ( ! [X] : 
 (hasType(type_Grape, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy144, axiom, 
 ( ! [X] : 
 (hasType(type_GreenPepper, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy145, axiom, 
 ( ! [X] : 
 (hasType(type_GreenPepper, X) => hasType(type_Vegetable, X)))).

fof(axEconomy146, axiom, 
 ( ! [X] : 
 (hasType(type_Groundnut, X) => hasType(type_EdibleTuber, X)))).

fof(axEconomy147, axiom, 
 ( ! [X] : 
 (hasType(type_Groundnut, X) => hasType(type_FruitOrVegetable, X)))).

fof(axEconomy148, axiom, 
 ( ! [X] : 
 (hasType(type_Groundnut, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy149, axiom, 
 ( ! [X] : 
 (hasType(type_GuernseyCattle, X) => hasType(type_Cattle, X)))).

fof(axEconomy150, axiom, 
 ( ! [X] : 
 (hasType(type_GumArabic, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy151, axiom, 
 ( ! [X] : 
 (hasType(type_GumArabic, X) => hasType(type_Substance, X)))).

fof(axEconomy152, axiom, 
 ( ! [X] : 
 (hasType(type_HandicraftProduct, X) => hasType(type_Product, X)))).

fof(axEconomy153, axiom, 
 ( ! [X] : 
 (hasType(type_HandwovenCarpet, X) => hasType(type_HandicraftProduct, X)))).

fof(axEconomy154, axiom, 
 ( ! [X] : 
 (hasType(type_HandwovenCarpet, X) => hasType(type_TextileProduct, X)))).

fof(axEconomy155, axiom, 
 ( ! [X] : 
 (hasType(type_Hardwood, X) => hasType(type_WoodProduct, X)))).

fof(axEconomy156, axiom, 
 ( ! [X] : 
 (hasType(type_HempFiber, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy157, axiom, 
 ( ! [X] : 
 (hasType(type_Honey, X) => hasType(type_AnimalAgriculturalProduct, X)))).

fof(axEconomy158, axiom, 
 ( ! [X] : 
 (hasType(type_HotWaterHeater, X) => hasType(type_MajorAppliance, X)))).

fof(axEconomy159, axiom, 
 ( ! [X] : 
 (hasType(type_IMFDevelopmentLevel, X) => hasType(type_EconomicDevelopmentLevel, X)))).

fof(axEconomy160, axiom, 
 ( ! [X] : 
 (hasType(type_IndustrialRawMaterial, X) => hasType(type_CapitalGood, X)))).

fof(axEconomy161, axiom, 
 ( ! [X] : 
 (hasType(type_IndustrialSupply, X) => hasType(type_CapitalGood, X)))).

fof(axEconomy162, axiom, 
 ( ! [X] : 
 (hasType(type_IndustrialSupply, X) => hasType(type_ManufacturedProduct, X)))).

fof(axEconomy163, axiom, 
 ( ! [X] : 
 (hasType(type_IronMetal, X) => hasType(type_MetalProduct, X)))).

fof(axEconomy164, axiom, 
 ( ! [X] : 
 (hasType(type_IronOre, X) => hasType(type_CompoundSubstance, X)))).

fof(axEconomy165, axiom, 
 ( ! [X] : 
 (hasType(type_IronOre, X) => hasType(type_Mineral, X)))).

fof(axEconomy166, axiom, 
 ( ! [X] : 
 (hasType(type_IronOre, X) => hasType(type_MiningProduct, X)))).

fof(axEconomy167, axiom, 
 ( ! [X] : 
 (hasType(type_ItalianLireCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy168, axiom, 
 ( ! [X] : 
 (hasType(type_JapaneseYenCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy169, axiom, 
 ( ! [X] : 
 (hasType(type_Jewelry, X) => hasType(type_PersonalAdornment, X)))).

fof(axEconomy170, axiom, 
 ( ! [X] : 
 (hasType(type_Jewelry, X) => hasType(type_WearableItem, X)))).

fof(axEconomy171, axiom, 
 ( ! [X] : 
 (hasType(type_JuteFiber, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy172, axiom, 
 ( ! [X] : 
 (hasType(type_KentiaPalmSeed, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy173, axiom, 
 ( ! [X] : 
 (hasType(type_KentiaPalmSeed, X) => hasType(type_Seed, X)))).

fof(axEconomy174, axiom, 
 ( ! [X] : 
 (hasType(type_Khat, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy175, axiom, 
 ( ! [X] : 
 (hasType(type_LambMeat, X) => hasType(type_Meat, X)))).

fof(axEconomy176, axiom, 
 ( ! [X] : 
 (hasType(type_Lambskin, X) => hasType(type_Pelt, X)))).

fof(axEconomy177, axiom, 
 ( ! [X] : 
 (hasType(type_LeadMetal, X) => hasType(type_MetalProduct, X)))).

fof(axEconomy178, axiom, 
 ( ! [X] : 
 (hasType(type_LeadOre, X) => hasType(type_Mineral, X)))).

fof(axEconomy179, axiom, 
 ( ! [X] : 
 (hasType(type_LeadOre, X) => hasType(type_MiningProduct, X)))).

fof(axEconomy180, axiom, 
 ( ! [X] : 
 (hasType(type_LeadProduct, X) => hasType(type_LeadMetal, X)))).

fof(axEconomy181, axiom, 
 ( ! [X] : 
 (hasType(type_LeadProduct, X) => hasType(type_ManufacturedProduct, X)))).

fof(axEconomy182, axiom, 
 ( ! [X] : 
 (hasType(type_Leaf, X) => hasType(type_AnatomicalStructure, X)))).

fof(axEconomy183, axiom, 
 ( ! [X] : 
 (hasType(type_LeafyGreenVegetable, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy184, axiom, 
 ( ! [X] : 
 (hasType(type_LeafyGreenVegetable, X) => hasType(type_Vegetable, X)))).

fof(axEconomy185, axiom, 
 ( ! [X] : 
 (hasType(type_Legume, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy186, axiom, 
 ( ! [X] : 
 (hasType(type_Legume, X) => hasType(type_Vegetable, X)))).

fof(axEconomy187, axiom, 
 ( ! [X] : 
 (hasType(type_Lemon, X) => hasType(type_CitrusFruit, X)))).

fof(axEconomy188, axiom, 
 ( ! [X] : 
 (hasType(type_Lentil, X) => hasType(type_Pulse, X)))).

fof(axEconomy189, axiom, 
 ( ! [X] : 
 (hasType(type_Lime, X) => hasType(type_CitrusFruit, X)))).

fof(axEconomy190, axiom, 
 ( ! [X] : 
 (hasType(type_Lumber, X) => hasType(type_DurableGood, X)))).

fof(axEconomy191, axiom, 
 ( ! [X] : 
 (hasType(type_Lumber, X) => hasType(type_ForestProduct, X)))).

fof(axEconomy192, axiom, 
 ( ! [X] : 
 (hasType(type_MacademiaNut, X) => hasType(type_EdibleNut, X)))).

fof(axEconomy193, axiom, 
 ( ! [X] : 
 (hasType(type_Mace, X) => hasType(type_Spice, X)))).

fof(axEconomy194, axiom, 
 ( ! [X] : 
 (hasType(type_MachineTool, X) => hasType(type_Machinery, X)))).

fof(axEconomy195, axiom, 
 ( ! [X] : 
 (hasType(type_Machine, X) => hasType(type_Machinery, X)))).

fof(axEconomy196, axiom, 
 ( ! [X] : 
 (hasType(type_Machinery, X) => hasType(type_Device, X)))).

fof(axEconomy197, axiom, 
 ( ! [X] : 
 (hasType(type_Machinery, X) => hasType(type_DurableGood, X)))).

fof(axEconomy198, axiom, 
 ( ! [X] : 
 (hasType(type_Machinery, X) => hasType(type_IndustrialSupply, X)))).

fof(axEconomy199, axiom, 
 ( ! [X] : 
 (hasType(type_MajorAppliance, X) => hasType(type_Device, X)))).

fof(axEconomy200, axiom, 
 ( ! [X] : 
 (hasType(type_MajorAppliance, X) => hasType(type_DurableGood, X)))).

fof(axEconomy201, axiom, 
 ( ! [X] : 
 (hasType(type_Mango, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy202, axiom, 
 ( ! [X] : 
 (hasType(type_Mango, X) => hasType(type_TropicalFruit, X)))).

fof(axEconomy203, axiom, 
 ( ! [X] : 
 (hasType(type_Meat, X) => hasType(type_AnimalAgriculturalProduct, X)))).

fof(axEconomy204, axiom, 
 ( ! [X] : 
 (hasType(type_Melon, X) => hasType(type_Fruit, X)))).

fof(axEconomy205, axiom, 
 ( ! [X] : 
 (hasType(type_Melon, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy206, axiom, 
 ( ! [X] : 
 (hasType(type_MetalProduct, X) => hasType(type_DurableGood, X)))).

fof(axEconomy207, axiom, 
 ( ! [X] : 
 (hasType(type_Milk, X) => hasType(type_DairyProduct, X)))).

fof(axEconomy208, axiom, 
 ( ! [X] : 
 (hasType(type_MilletGrain, X) => hasType(type_CerealGrain, X)))).

fof(axEconomy209, axiom, 
 ( ! [X] : 
 (hasType(type_MotorOil, X) => hasType(type_PetroleumLubricant, X)))).

fof(axEconomy210, axiom, 
 ( ! [X] : 
 (hasType(type_MulberryLeaf, X) => hasType(type_Fodder, X)))).

fof(axEconomy211, axiom, 
 ( ! [X] : 
 (hasType(type_MulberryLeaf, X) => hasType(type_Leaf, X)))).

fof(axEconomy212, axiom, 
 ( ! [X] : 
 (hasType(type_MulberryLeaf, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy213, axiom, 
 ( ! [X] : 
 (hasType(type_Mutton, X) => hasType(type_Meat, X)))).

fof(axEconomy214, axiom, 
 ( ! [X] : 
 (hasType(type_Narcotic, X) => hasType(type_ControlledSubstance, X)))).

fof(axEconomy215, axiom, 
 ( ! [X] : 
 (hasType(type_NaturalRubber, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy216, axiom, 
 ( ! [X] : 
 (hasType(type_NickelOre, X) => hasType(type_Mineral, X)))).

fof(axEconomy217, axiom, 
 ( ! [X] : 
 (hasType(type_NickelOre, X) => hasType(type_MiningProduct, X)))).

fof(axEconomy218, axiom, 
 ( ! [X] : 
 (hasType(type_NorfolkIslandPineSeed, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy219, axiom, 
 ( ! [X] : 
 (hasType(type_NorfolkIslandPineSeed, X) => hasType(type_Seed, X)))).

fof(axEconomy220, axiom, 
 ( ! [X] : 
 (hasType(type_Nut, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy221, axiom, 
 ( ! [X] : 
 (hasType(type_Nut, X) => hasType(type_ReproductiveBody, X)))).

fof(axEconomy222, axiom, 
 ( ! [X] : 
 (hasType(type_Nutmeg, X) => hasType(type_Spice, X)))).

fof(axEconomy223, axiom, 
 ( ! [X] : 
 (hasType(type_OatGrain, X) => hasType(type_CerealGrain, X)))).

fof(axEconomy224, axiom, 
 ( ! [X] : 
 (hasType(type_Oilseed, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy225, axiom, 
 ( ! [X] : 
 (hasType(type_Oilseed, X) => hasType(type_Seed, X)))).

fof(axEconomy226, axiom, 
 ( ! [X] : 
 (hasType(type_Okoume, X) => hasType(type_Hardwood, X)))).

fof(axEconomy227, axiom, 
 ( ! [X] : 
 (hasType(type_OliveOil, X) => hasType(type_VegetableOil, X)))).

fof(axEconomy228, axiom, 
 ( ! [X] : 
 (hasType(type_Olive, X) => hasType(type_Fruit, X)))).

fof(axEconomy229, axiom, 
 ( ! [X] : 
 (hasType(type_Olive, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy230, axiom, 
 ( ! [X] : 
 (hasType(type_OpiumPoppyFarming, X) => hasType(type_Farming, X)))).

fof(axEconomy231, axiom, 
 ( ! [X] : 
 (hasType(type_OpiumPoppy, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy232, axiom, 
 ( ! [X] : 
 (hasType(type_OpiumPoppy, X) => hasType(type_Poppy, X)))).

fof(axEconomy233, axiom, 
 ( ! [X] : 
 (hasType(type_Opium, X) => hasType(type_Narcotic, X)))).

fof(axEconomy234, axiom, 
 ( ! [X] : 
 (hasType(type_Opium, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy235, axiom, 
 ( ! [X] : 
 (hasType(type_Orchid, X) => hasType(type_FloweringPlant, X)))).

fof(axEconomy236, axiom, 
 ( ! [X] : 
 (hasType(type_Orchid, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy237, axiom, 
 ( ! [X] : 
 (hasType(type_OrnamentalFish, X) => hasType(type_AnimalAgriculturalProduct, X)))).

fof(axEconomy238, axiom, 
 ( ! [X] : 
 (hasType(type_OrnamentalFish, X) => hasType(type_Fish, X)))).

fof(axEconomy239, axiom, 
 ( ! [X] : 
 (hasType(type_PackagedBeverageProduct, X) => hasType(type_Product, X)))).

fof(axEconomy240, axiom, 
 ( ! [X] : 
 (hasType(type_PackagedFoodProduct, X) => hasType(type_Product, X)))).

fof(axEconomy241, axiom, 
 ( ! [X] : 
 (hasType(type_PaddyRice, X) => hasType(type_CerealGrass, X)))).

fof(axEconomy242, axiom, 
 ( ! [X] : 
 (hasType(type_PalmKernel, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy243, axiom, 
 ( ! [X] : 
 (hasType(type_PalmOilNut, X) => hasType(type_Nut, X)))).

fof(axEconomy244, axiom, 
 ( ! [X] : 
 (hasType(type_PalmOilNut, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy245, axiom, 
 ( ! [X] : 
 (hasType(type_PalmOil, X) => hasType(type_VegetableOil, X)))).

fof(axEconomy246, axiom, 
 ( ! [X] : 
 (hasType(type_Papaw, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy247, axiom, 
 ( ! [X] : 
 (hasType(type_Papaw, X) => hasType(type_TropicalFruit, X)))).

fof(axEconomy248, axiom, 
 ( ! [X] : 
 (hasType(type_Papaya, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy249, axiom, 
 ( ! [X] : 
 (hasType(type_Papaya, X) => hasType(type_TropicalFruit, X)))).

fof(axEconomy250, axiom, 
 ( ! [X] : 
 (hasType(type_PassionFruit, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy251, axiom, 
 ( ! [X] : 
 (hasType(type_PassionFruit, X) => hasType(type_TropicalFruit, X)))).

fof(axEconomy252, axiom, 
 ( ! [X] : 
 (hasType(type_Pea, X) => hasType(type_Legume, X)))).

fof(axEconomy253, axiom, 
 ( ! [X] : 
 (hasType(type_Peanut, X) => hasType(type_EdibleNut, X)))).

fof(axEconomy254, axiom, 
 ( ! [X] : 
 (hasType(type_Peanut, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy255, axiom, 
 ( ! [X] : 
 (hasType(type_Pearl, X) => hasType(type_Jewelry, X)))).

fof(axEconomy256, axiom, 
 ( ! [X] : 
 (hasType(type_PecanNut, X) => hasType(type_EdibleNut, X)))).

fof(axEconomy257, axiom, 
 ( ! [X] : 
 (hasType(type_Pelt, X) => hasType(type_AnimalAgriculturalProduct, X)))).

fof(axEconomy258, axiom, 
 ( ! [X] : 
 (hasType(type_Pelt, X) => hasType(type_AnimalSkin, X)))).

fof(axEconomy259, axiom, 
 ( ! [X] : 
 (hasType(type_PerfumeEssence, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy260, axiom, 
 ( ! [X] : 
 (hasType(type_PersonalAdornment, X) => hasType(type_WearableItem, X)))).

fof(axEconomy261, axiom, 
 ( ! [X] : 
 (hasType(type_PetroleumLubricant, X) => hasType(type_RefinedPetroleumProduct, X)))).

fof(axEconomy262, axiom, 
 ( ! [X] : 
 (hasType(type_Petroleum, X) => hasType(type_PetroleumProduct, X)))).

fof(axEconomy263, axiom, 
 ( ! [X] : 
 (hasType(type_PharmaceuticalProduct, X) => hasType(type_ManufacturedProduct, X)))).

fof(axEconomy264, axiom, 
 ( ! [X] : 
 (hasType(type_PhosphoricAcid, X) => hasType(type_CompoundSubstance, X)))).

fof(axEconomy265, axiom, 
 ( ! [X] : 
 (hasType(type_Pineapple, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy266, axiom, 
 ( ! [X] : 
 (hasType(type_Pineapple, X) => hasType(type_TropicalFruit, X)))).

fof(axEconomy267, axiom, 
 ( ! [X] : 
 (hasType(type_Plantain, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy268, axiom, 
 ( ! [X] : 
 (hasType(type_Plantain, X) => hasType(type_TropicalFruit, X)))).

fof(axEconomy269, axiom, 
 ( ! [X] : 
 (hasType(type_Plastic, X) => hasType(type_ManufacturedProduct, X)))).

fof(axEconomy270, axiom, 
 ( ! [X] : 
 (hasType(type_Poppy, X) => hasType(type_FloweringPlant, X)))).

fof(axEconomy271, axiom, 
 ( ! [X] : 
 (hasType(type_PotatoTuber, X) => hasType(type_EdibleTuber, X)))).

fof(axEconomy272, axiom, 
 ( ! [X] : 
 (hasType(type_PotatoTuber, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy273, axiom, 
 ( ! [X] : 
 (hasType(type_PowerGeneration, X) => hasType(type_Process, X)))).

fof(axEconomy274, axiom, 
 ( ! [X] : 
 (hasType(type_PreciousGemstone, X) => hasType(type_Gemstone, X)))).

fof(axEconomy275, axiom, 
 ( ! [X] : 
 (hasType(type_PreciousGemstone, X) => hasType(type_MiningProduct, X)))).

fof(axEconomy276, axiom, 
 ( ! [X] : 
 (hasType(type_ProductPackage, X) => hasType(type_Container, X)))).

fof(axEconomy277, axiom, 
 ( ! [X] : 
 (hasType(type_Pulse, X) => hasType(type_Legume, X)))).

fof(axEconomy278, axiom, 
 ( ! [X] : 
 (hasType(type_Pyrethrum, X) => hasType(type_BiologicallyActiveSubstance, X)))).

fof(axEconomy279, axiom, 
 ( ! [X] : 
 (hasType(type_Pyrethrum, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy280, axiom, 
 ( ! [X] : 
 (hasType(type_Quinine, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy281, axiom, 
 ( ! [X] : 
 (hasType(type_ReadyMixConcrete, X) => hasType(type_Concrete, X)))).

fof(axEconomy282, axiom, 
 ( ! [X] : 
 (hasType(type_Refrigerator, X) => hasType(type_MajorAppliance, X)))).

fof(axEconomy283, axiom, 
 ( ! [X] : 
 (hasType(type_Reindeer, X) => hasType(type_HoofedMammal, X)))).

fof(axEconomy284, axiom, 
 ( ! [X] : 
 (hasType(type_Reindeer, X) => hasType(type_Livestock, X)))).

fof(axEconomy285, axiom, 
 ( ! [X] : 
 (hasType(type_RootStarch, X) => hasType(type_FruitOrVegetable, X)))).

fof(axEconomy286, axiom, 
 ( ! [X] : 
 (hasType(type_RootStarch, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy287, axiom, 
 ( ! [X] : 
 (hasType(type_RootVegetable, X) => hasType(type_FruitOrVegetable, X)))).

fof(axEconomy288, axiom, 
 ( ! [X] : 
 (hasType(type_RootVegetable, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy289, axiom, 
 ( ! [X] : 
 (hasType(type_RyeGrain, X) => hasType(type_CerealGrain, X)))).

fof(axEconomy290, axiom, 
 ( ! [X] : 
 (hasType(type_Salmon, X) => hasType(type_FoodFish, X)))).

fof(axEconomy291, axiom, 
 ( ! [X] : 
 (hasType(type_Seafood, X) => hasType(type_Meat, X)))).

fof(axEconomy292, axiom, 
 ( ! [X] : 
 (hasType(type_Seed, X) => hasType(type_FruitOrVegetable, X)))).

fof(axEconomy293, axiom, 
 ( ! [X] : 
 (hasType(type_SemipreciousGemstone, X) => hasType(type_Gemstone, X)))).

fof(axEconomy294, axiom, 
 ( ! [X] : 
 (hasType(type_SemipreciousGemstone, X) => hasType(type_MiningProduct, X)))).

fof(axEconomy295, axiom, 
 ( ! [X] : 
 (hasType(type_SenepolCattle, X) => hasType(type_Cattle, X)))).

fof(axEconomy296, axiom, 
 ( ! [X] : 
 (hasType(type_Sesame, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy297, axiom, 
 ( ! [X] : 
 (hasType(type_SheaNut, X) => hasType(type_EdibleNut, X)))).

fof(axEconomy298, axiom, 
 ( ! [X] : 
 (hasType(type_Sheep, X) => hasType(type_Livestock, X)))).

fof(axEconomy299, axiom, 
 ( ! [X] : 
 (hasType(type_Sheepskin, X) => hasType(type_Pelt, X)))).

fof(axEconomy300, axiom, 
 ( ! [X] : 
 (hasType(type_Shellfish, X) => hasType(type_Seafood, X)))).

fof(axEconomy301, axiom, 
 ( ! [X] : 
 (hasType(type_Shrimp, X) => hasType(type_Shellfish, X)))).

fof(axEconomy302, axiom, 
 ( ! [X] : 
 (hasType(type_SisalFiber, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy303, axiom, 
 ( ! [X] : 
 (hasType(type_Soap, X) => hasType(type_Surfactant, X)))).

fof(axEconomy304, axiom, 
 ( ! [X] : 
 (hasType(type_SorghumGrain, X) => hasType(type_CerealGrain, X)))).

fof(axEconomy305, axiom, 
 ( ! [X] : 
 (hasType(type_Sorghum, X) => hasType(type_CerealGrass, X)))).

fof(axEconomy306, axiom, 
 ( ! [X] : 
 (hasType(type_Soya, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy307, axiom, 
 ( ! [X] : 
 (hasType(type_Soybean, X) => hasType(type_Bean, X)))).

fof(axEconomy308, axiom, 
 ( ! [X] : 
 (hasType(type_SpicePepper, X) => hasType(type_Spice, X)))).

fof(axEconomy309, axiom, 
 ( ! [X] : 
 (hasType(type_Spice, X) => hasType(type_FruitOrVegetable, X)))).

fof(axEconomy310, axiom, 
 ( ! [X] : 
 (hasType(type_Spice, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy311, axiom, 
 ( ! [X] : 
 (hasType(type_Squash, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy312, axiom, 
 ( ! [X] : 
 (hasType(type_Squash, X) => hasType(type_Vegetable, X)))).

fof(axEconomy313, axiom, 
 ( ! [X] : 
 (hasType(type_Steel, X) => hasType(type_MetalProduct, X)))).

fof(axEconomy314, axiom, 
 ( ! [X] : 
 (hasType(type_SugarBeet, X) => hasType(type_Vegetable, X)))).

fof(axEconomy315, axiom, 
 ( ! [X] : 
 (hasType(type_SugarCane, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy316, axiom, 
 ( ! [X] : 
 (hasType(type_SugarCane, X) => hasType(type_Vegetable, X)))).

fof(axEconomy317, axiom, 
 ( ! [X] : 
 (hasType(type_Sugar, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy318, axiom, 
 ( ! [X] : 
 (hasType(type_Sugar, X) => hasType(type_Substance, X)))).

fof(axEconomy319, axiom, 
 ( ! [X] : 
 (hasType(type_SunflowerSeed, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy320, axiom, 
 ( ! [X] : 
 (hasType(type_SunflowerSeed, X) => hasType(type_Seed, X)))).

fof(axEconomy321, axiom, 
 ( ! [X] : 
 (hasType(type_Sunflower, X) => hasType(type_FloweringPlant, X)))).

fof(axEconomy322, axiom, 
 ( ! [X] : 
 (hasType(type_Sunflower, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy323, axiom, 
 ( ! [X] : 
 (hasType(type_SweetPepper, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy324, axiom, 
 ( ! [X] : 
 (hasType(type_SweetPepper, X) => hasType(type_Vegetable, X)))).

fof(axEconomy325, axiom, 
 ( ! [X] : 
 (hasType(type_SweetPotatoTuber, X) => hasType(type_EdibleTuber, X)))).

fof(axEconomy326, axiom, 
 ( ! [X] : 
 (hasType(type_SweetPotatoTuber, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy327, axiom, 
 ( ! [X] : 
 (hasType(type_TajikSomoniCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy328, axiom, 
 ( ! [X] : 
 (hasType(type_TaroTuber, X) => hasType(type_EdibleTuber, X)))).

fof(axEconomy329, axiom, 
 ( ! [X] : 
 (hasType(type_TaroTuber, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy330, axiom, 
 ( ! [X] : 
 (hasType(type_TeaLeaf, X) => hasType(type_TeaPlantAerialPart, X)))).

fof(axEconomy331, axiom, 
 ( ! [X] : 
 (hasType(type_TeaPlantAerialPart, X) => hasType(type_FruitOrVegetable, X)))).

fof(axEconomy332, axiom, 
 ( ! [X] : 
 (hasType(type_TextileProduct, X) => hasType(type_Artifact, X)))).

fof(axEconomy333, axiom, 
 ( ! [X] : 
 (hasType(type_TextileProduct, X) => hasType(type_ManufacturedProduct, X)))).

fof(axEconomy334, axiom, 
 ( ! [X] : 
 (hasType(type_Timber, X) => hasType(type_CompoundSubstance, X)))).

fof(axEconomy335, axiom, 
 ( ! [X] : 
 (hasType(type_Timber, X) => hasType(type_ForestProduct, X)))).

fof(axEconomy336, axiom, 
 ( ! [X] : 
 (hasType(type_Tobacco, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy337, axiom, 
 ( ! [X] : 
 (hasType(type_Tomato, X) => hasType(type_Fruit, X)))).

fof(axEconomy338, axiom, 
 ( ! [X] : 
 (hasType(type_Tomato, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy339, axiom, 
 ( ! [X] : 
 (hasType(type_TropicalFruit, X) => hasType(type_Fruit, X)))).

fof(axEconomy340, axiom, 
 ( ! [X] : 
 (hasType(type_TropicalFruit, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy341, axiom, 
 ( ! [X] : 
 (hasType(type_TurkeyBird, X) => hasType(type_Poultry, X)))).

fof(axEconomy342, axiom, 
 ( ! [X] : 
 (hasType(type_TurkeyMeat, X) => hasType(type_Meat, X)))).

fof(axEconomy343, axiom, 
 ( ! [X] : 
 (hasType(type_Turnip, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy344, axiom, 
 ( ! [X] : 
 (hasType(type_Turnip, X) => hasType(type_RootVegetable, X)))).

fof(axEconomy345, axiom, 
 ( ! [X] : 
 (hasType(type_Turtle, X) => hasType(type_Livestock, X)))).

fof(axEconomy346, axiom, 
 ( ! [X] : 
 (hasType(type_Turtle, X) => hasType(type_Reptile, X)))).

fof(axEconomy347, axiom, 
 ( ! [X] : 
 (hasType(type_UNEconomicDevelopmentLevel, X) => hasType(type_EconomicDevelopmentLevel, X)))).

fof(axEconomy348, axiom, 
 ( ! [X] : 
 (hasType(type_UnitedStatesCentCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy349, axiom, 
 ( ! [X] : 
 (hasType(type_UnitedStatesDollarBill, X) => hasType(type_CurrencyBill, X)))).

fof(axEconomy350, axiom, 
 ( ! [X] : 
 (hasType(type_UnitedStatesFiveCentCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy351, axiom, 
 ( ! [X] : 
 (hasType(type_UnitedStatesQuarterCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy352, axiom, 
 ( ! [X] : 
 (hasType(type_UnitedStatesTenCentCoin, X) => hasType(type_CurrencyCoin, X)))).

fof(axEconomy353, axiom, 
 ( ! [X] : 
 (hasType(type_Vanilla, X) => hasType(type_Spice, X)))).

fof(axEconomy354, axiom, 
 ( ! [X] : 
 (hasType(type_Veal, X) => hasType(type_Meat, X)))).

fof(axEconomy355, axiom, 
 ( ! [X] : 
 (hasType(type_VegetableOil, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy356, axiom, 
 ( ! [X] : 
 (hasType(type_Vegetable, X) => hasType(type_FruitOrVegetable, X)))).

fof(axEconomy357, axiom, 
 ( ! [X] : 
 (hasType(type_Walnut, X) => hasType(type_EdibleNut, X)))).

fof(axEconomy358, axiom, 
 ( ! [X] : 
 (hasType(type_WaterBuffaloMeat, X) => hasType(type_Meat, X)))).

fof(axEconomy359, axiom, 
 ( ! [X] : 
 (hasType(type_WaterBuffalo, X) => hasType(type_HoofedMammal, X)))).

fof(axEconomy360, axiom, 
 ( ! [X] : 
 (hasType(type_WaterBuffalo, X) => hasType(type_Livestock, X)))).

fof(axEconomy361, axiom, 
 ( ! [X] : 
 (hasType(type_Watermelon, X) => hasType(type_Melon, X)))).

fof(axEconomy362, axiom, 
 ( ! [X] : 
 (hasType(type_WineGrape, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy363, axiom, 
 ( ! [X] : 
 (hasType(type_Wine, X) => hasType(type_Beverage, X)))).

fof(axEconomy364, axiom, 
 ( ! [X] : 
 (hasType(type_Wine, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axEconomy365, axiom, 
 ( ! [X] : 
 (hasType(type_WoodProduct, X) => hasType(type_ForestProduct, X)))).

fof(axEconomy366, axiom, 
 ( ! [X] : 
 (hasType(type_WoolFiber, X) => hasType(type_AnimalAgriculturalProduct, X)))).

fof(axEconomy367, axiom, 
 ( ! [X] : 
 (hasType(type_WorldBankGNIPerCapitaLevel, X) => hasType(type_EconomicDevelopmentLevel, X)))).

fof(axEconomy368, axiom, 
 ( ! [X] : 
 (hasType(type_YamTuber, X) => hasType(type_EdibleTuber, X)))).

fof(axEconomy369, axiom, 
 ( ! [X] : 
 (hasType(type_YamTuber, X) => hasType(type_GroceryProduce, X)))).

fof(axEconomy370, axiom, 
 ( ! [X] : 
 (hasType(type_YlangYlang, X) => hasType(type_PerfumeEssence, X)))).

fof(axEconomy371, axiom, 
 ( ! [X] : 
 (hasType(type_ZincOre, X) => hasType(type_Mineral, X)))).

fof(axEconomy372, axiom, 
 ( ! [X] : 
 (hasType(type_ZincOre, X) => hasType(type_MiningProduct, X)))).

fof(axEconomy373, axiom, 
 ( ! [X] : 
 (hasType(type_ZincProduct, X) => hasType(type_ManufacturedProduct, X)))).

fof(axEconomy374, axiom, 
 ( ! [X] : 
 (hasType(type_ZincProduct, X) => hasType(type_MetalProduct, X)))).

fof(axEconomy375, axiom, 
 (hasType(type_EconomicDevelopmentLevel, inst_AdvancedDevelopingCountry))).

fof(axEconomy376, axiom, 
 (hasType(type_IMFDevelopmentLevel, inst_AdvancedEconomy))).

fof(axEconomy377, axiom, 
 (hasType(type_UnitOfCurrency, inst_AfghanAfghani))).

fof(axEconomy378, axiom, 
 (hasType(type_IndustryAttribute, inst_AgriculturalSector))).

fof(axEconomy379, axiom, 
 (hasType(type_FinancialSectorAttribute, inst_AgricultureBasedEconomy))).

fof(axEconomy380, axiom, 
 (hasType(type_UnitOfCurrency, inst_AlbanianLek))).

fof(axEconomy381, axiom, 
 (hasType(type_UnitOfCurrency, inst_AlgerianDinar))).

fof(axEconomy382, axiom, 
 (hasType(type_UnitOfCurrency, inst_AngolanKwanza))).

fof(axEconomy383, axiom, 
 (hasType(type_UnitOfCurrency, inst_ArgentineAustral))).

fof(axEconomy384, axiom, 
 (hasType(type_UnitOfCurrency, inst_ArmenianDram))).

fof(axEconomy385, axiom, 
 (hasType(type_UnitOfCurrency, inst_AustralianDollar))).

fof(axEconomy386, axiom, 
 (hasType(type_UnitOfCurrency, inst_AustrianSchilling))).

fof(axEconomy387, axiom, 
 (hasType(type_UnitOfCurrency, inst_AzerbaijaniManat))).

fof(axEconomy388, axiom, 
 (hasType(type_UnitOfCurrency, inst_BahamianDollar))).

fof(axEconomy389, axiom, 
 (hasType(type_UnitOfCurrency, inst_BahrainianDinar))).

fof(axEconomy390, axiom, 
 (hasType(type_UnitOfCurrency, inst_BangladeshiTaka))).

fof(axEconomy391, axiom, 
 (hasType(type_UnitOfCurrency, inst_BarbadosDollar))).

fof(axEconomy392, axiom, 
 (hasType(type_IndustryAttribute, inst_BarleyFarming))).

fof(axEconomy393, axiom, 
 (hasType(type_UnitOfCurrency, inst_BelarusianRubel))).

fof(axEconomy394, axiom, 
 (hasType(type_UnitOfCurrency, inst_BelgianFranc))).

fof(axEconomy395, axiom, 
 (hasType(type_UnitOfCurrency, inst_BelizeDollar))).

fof(axEconomy396, axiom, 
 (hasType(type_UnitOfCurrency, inst_BeninFranc))).

fof(axEconomy397, axiom, 
 (hasType(type_UnitOfCurrency, inst_BermudaDollar))).

fof(axEconomy398, axiom, 
 (hasType(type_UnitOfCurrency, inst_BhutaneseNgultrum))).

fof(axEconomy399, axiom, 
 (hasType(type_UnitOfCurrency, inst_BolivianBoliviano))).

fof(axEconomy400, axiom, 
 (hasType(type_UnitOfCurrency, inst_BotswanaPula))).

fof(axEconomy401, axiom, 
 (hasType(type_UnitOfCurrency, inst_BrazilianReal))).

fof(axEconomy402, axiom, 
 (hasType(type_UnitOfCurrency, inst_BritishPound))).

fof(axEconomy403, axiom, 
 (hasType(type_UnitOfCurrency, inst_BruneiDollar))).

fof(axEconomy404, axiom, 
 (hasType(type_UnitOfCurrency, inst_BulgarianLev))).

fof(axEconomy405, axiom, 
 (hasType(type_UnitOfCurrency, inst_BurkinaFasoFranc))).

fof(axEconomy406, axiom, 
 (hasType(type_UnitOfCurrency, inst_BurundiFranc))).

fof(axEconomy407, axiom, 
 (hasType(type_UnitOfCurrency, inst_CambodianRiel))).

fof(axEconomy408, axiom, 
 (hasType(type_UnitOfCurrency, inst_CameroonFranc))).

fof(axEconomy409, axiom, 
 (hasType(type_UnitOfCurrency, inst_CanadianDollar))).

fof(axEconomy410, axiom, 
 (hasType(type_UnitOfCurrency, inst_CapeVerdeEscudo))).

fof(axEconomy411, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_CapitalistEconomy))).

fof(axEconomy412, axiom, 
 (hasType(type_UnitOfCurrency, inst_CaymanIslandsDollar))).

fof(axEconomy413, axiom, 
 (hasType(type_UnitOfCurrency, inst_CentralAfricanRepublicFranc))).

fof(axEconomy414, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_CentrallyPlannedEconomy))).

fof(axEconomy415, axiom, 
 (hasType(type_IndustryAttribute, inst_CerealGrainFarming))).

fof(axEconomy416, axiom, 
 (hasType(type_UnitOfCurrency, inst_ChadianFranc))).

fof(axEconomy417, axiom, 
 (hasType(type_UnitOfCurrency, inst_ChileanPeso))).

fof(axEconomy418, axiom, 
 (hasType(type_UnitOfCurrency, inst_ChineseYuan))).

fof(axEconomy419, axiom, 
 (hasType(type_IndustryAttribute, inst_CoalIndustry))).

fof(axEconomy420, axiom, 
 (hasType(type_UnitOfCurrency, inst_ColombianPeso))).

fof(axEconomy421, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_CommunalLandOwnershipEconomy))).

fof(axEconomy422, axiom, 
 (hasType(type_UnitOfCurrency, inst_CongoFranc))).

fof(axEconomy423, axiom, 
 (hasType(type_IndustryAttribute, inst_ConsumerGoodsIndustry))).

fof(axEconomy424, axiom, 
 (hasType(type_FinancialSectorAttribute, inst_ControlledLaborMarketEconomy))).

fof(axEconomy425, axiom, 
 (hasType(type_IndustryAttribute, inst_CopperIndustry))).

fof(axEconomy426, axiom, 
 (hasType(type_UnitOfCurrency, inst_CostaRicanColon))).

fof(axEconomy427, axiom, 
 (hasType(type_IMFDevelopmentLevel, inst_CountryInTransition))).

fof(axEconomy428, axiom, 
 (hasType(type_UnitOfCurrency, inst_CubanPeso))).

fof(axEconomy429, axiom, 
 (hasType(type_UnitOfCurrency, inst_CypriotPound))).

fof(axEconomy430, axiom, 
 (hasType(type_UnitOfCurrency, inst_CzechKoruna))).

fof(axEconomy431, axiom, 
 (hasType(type_UnitOfCurrency, inst_DanishKrone))).

fof(axEconomy432, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_DemocraticSocialism))).

fof(axEconomy433, axiom, 
 (hasType(type_UNEconomicDevelopmentLevel, inst_DevelopedCountry))).

fof(axEconomy434, axiom, 
 (hasType(type_IMFDevelopmentLevel, inst_DevelopingCountry))).

fof(axEconomy435, axiom, 
 (hasType(type_FinancialSectorAttribute, inst_DiversifiedEconomy))).

fof(axEconomy436, axiom, 
 (hasType(type_UnitOfCurrency, inst_DjiboutiFranc))).

fof(axEconomy437, axiom, 
 (hasType(type_UnitOfCurrency, inst_DominicanDollar))).

fof(axEconomy438, axiom, 
 (hasType(type_UnitOfCurrency, inst_DominicanPeso))).

fof(axEconomy439, axiom, 
 (hasType(type_UnitOfCurrency, inst_DutchGuilder))).

fof(axEconomy440, axiom, 
 (hasType(type_UnitOfCurrency, inst_EcuadoranSucre))).

fof(axEconomy441, axiom, 
 (hasType(type_UnitOfCurrency, inst_EgyptianPound))).

fof(axEconomy442, axiom, 
 (hasType(type_UnitOfCurrency, inst_ElSalvadoranColon))).

fof(axEconomy443, axiom, 
 (hasType(type_UnitOfCurrency, inst_EstonianKroon))).

fof(axEconomy444, axiom, 
 (hasType(type_UnitOfCurrency, inst_EthiopianBirr))).

fof(axEconomy445, axiom, 
 (hasType(type_IndustryAttribute, inst_FertilizerIndustry))).

fof(axEconomy446, axiom, 
 (hasType(type_UnitOfCurrency, inst_FijiDollar))).

fof(axEconomy447, axiom, 
 (hasType(type_UnitOfCurrency, inst_FinnishMarkka))).

fof(axEconomy448, axiom, 
 (hasType(type_UNEconomicDevelopmentLevel, inst_FormerSovietOrEasternEuropeanCountry))).

fof(axEconomy449, axiom, 
 (hasType(type_PowerGeneration, inst_FossilFuelPowerGeneration))).

fof(axEconomy450, axiom, 
 (hasType(type_EconomicDevelopmentLevel, inst_FourDragonsEconomy))).

fof(axEconomy451, axiom, 
 (hasType(type_UnitOfCurrency, inst_FrenchFranc))).

fof(axEconomy452, axiom, 
 (hasType(type_IndustryAttribute, inst_FruitFarming))).

fof(axEconomy453, axiom, 
 (hasType(type_IndustryAttribute, inst_FurnitureIndustry))).

fof(axEconomy454, axiom, 
 (hasType(type_UnitOfCurrency, inst_GabonFranc))).

fof(axEconomy455, axiom, 
 (hasType(type_UnitOfCurrency, inst_GambianDalasi))).

fof(axEconomy456, axiom, 
 (hasType(type_UnitOfCurrency, inst_GeorgianLari))).

fof(axEconomy457, axiom, 
 (hasType(type_UnitOfCurrency, inst_GermanMark))).

fof(axEconomy458, axiom, 
 (hasType(type_UnitOfCurrency, inst_GhanianCedi))).

fof(axEconomy459, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_GovernmentRegulatedEconomy))).

fof(axEconomy460, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_GovernmentSubsidizedEconomy))).

fof(axEconomy461, axiom, 
 (hasType(type_UnitOfCurrency, inst_GreekDrachma))).

fof(axEconomy462, axiom, 
 (hasType(type_UnitOfCurrency, inst_GrenadaDollar))).

fof(axEconomy463, axiom, 
 (hasType(type_UnitOfCurrency, inst_GuatemalanQuetzal))).

fof(axEconomy464, axiom, 
 (hasType(type_UnitOfCurrency, inst_GuineaBissauPeso))).

fof(axEconomy465, axiom, 
 (hasType(type_UnitOfCurrency, inst_GuineanFranc))).

fof(axEconomy466, axiom, 
 (hasType(type_UnitOfCurrency, inst_GuyanaDollar))).

fof(axEconomy467, axiom, 
 (hasType(type_UnitOfCurrency, inst_HaitianGourde))).

fof(axEconomy468, axiom, 
 (hasType(type_IndustryAttribute, inst_HandicraftIndustry))).

fof(axEconomy469, axiom, 
 (hasType(type_WorldBankGNIPerCapitaLevel, inst_HighIncomeCountry))).

fof(axEconomy470, axiom, 
 (hasType(type_EconomicDevelopmentLevel, inst_HighTechIndustrialEconomy))).

fof(axEconomy471, axiom, 
 (hasType(type_UnitOfCurrency, inst_HonduranLempira))).

fof(axEconomy472, axiom, 
 (hasType(type_UnitOfCurrency, inst_HongKongDollar))).

fof(axEconomy473, axiom, 
 (hasType(type_UnitOfCurrency, inst_HungarianForint))).

fof(axEconomy474, axiom, 
 (hasType(type_ElectricalPowerGeneration, inst_HydroElectricPowerGeneration))).

fof(axEconomy475, axiom, 
 (hasType(type_UnitOfCurrency, inst_IcelandicKrona))).

fof(axEconomy476, axiom, 
 (hasType(type_UnitOfCurrency, inst_IndianRupee))).

fof(axEconomy477, axiom, 
 (hasType(type_UnitOfCurrency, inst_IndonesianRupiah))).

fof(axEconomy478, axiom, 
 (hasType(type_IndustryAttribute, inst_IndustrialSector))).

fof(axEconomy479, axiom, 
 (hasType(type_UnitOfCurrency, inst_IranianRial))).

fof(axEconomy480, axiom, 
 (hasType(type_UnitOfCurrency, inst_IraqiDinar))).

fof(axEconomy481, axiom, 
 (hasType(type_UnitOfCurrency, inst_IrishPound))).

fof(axEconomy482, axiom, 
 (hasType(type_UnitOfCurrency, inst_IsraeliShekel))).

fof(axEconomy483, axiom, 
 (hasType(type_UnitOfCurrency, inst_ItalianLire))).

fof(axEconomy484, axiom, 
 (hasType(type_UnitOfCurrency, inst_IvoryCoastFranc))).

fof(axEconomy485, axiom, 
 (hasType(type_UnitOfCurrency, inst_JamaicanDollar))).

fof(axEconomy486, axiom, 
 (hasType(type_UnitOfCurrency, inst_JapaneseYen))).

fof(axEconomy487, axiom, 
 (hasType(type_UnitOfCurrency, inst_JordanianDinar))).

fof(axEconomy488, axiom, 
 (hasType(type_UnitOfCurrency, inst_KazakhstaniTenge))).

fof(axEconomy489, axiom, 
 (hasType(type_UnitOfCurrency, inst_KenyanShilling))).

fof(axEconomy490, axiom, 
 (hasType(type_CompositeUnitOfMeasure, inst_KilowattHour))).

fof(axEconomy491, axiom, 
 (hasType(type_UnitOfCurrency, inst_KiribatiDollar))).

fof(axEconomy492, axiom, 
 (hasType(type_UnitOfCurrency, inst_KuwaitiDinar))).

fof(axEconomy493, axiom, 
 (hasType(type_UnitOfCurrency, inst_KyrgyzstaniSom))).

fof(axEconomy494, axiom, 
 (hasType(type_UnitOfCurrency, inst_LaotianKip))).

fof(axEconomy495, axiom, 
 (hasType(type_UnitOfCurrency, inst_LatvianLats))).

fof(axEconomy496, axiom, 
 (hasType(type_IndustryAttribute, inst_LeadIndustry))).

fof(axEconomy497, axiom, 
 (hasType(type_IndustryAttribute, inst_LeadManufacturing))).

fof(axEconomy498, axiom, 
 (hasType(type_EconomicDevelopmentLevel, inst_LeastDevelopedCountry))).

fof(axEconomy499, axiom, 
 (hasType(type_UnitOfCurrency, inst_LebanesePound))).

fof(axEconomy500, axiom, 
 (hasType(type_UnitOfCurrency, inst_LesothoLoti))).

fof(axEconomy501, axiom, 
 (hasType(type_UNEconomicDevelopmentLevel, inst_LessDevelopedCountry))).

fof(axEconomy502, axiom, 
 (hasType(type_UnitOfCurrency, inst_LiberianDollar))).

fof(axEconomy503, axiom, 
 (hasType(type_UnitOfCurrency, inst_LibyanDinar))).

fof(axEconomy504, axiom, 
 (hasType(type_UnitOfCurrency, inst_LithuanianLitas))).

fof(axEconomy505, axiom, 
 (hasType(type_WorldBankGNIPerCapitaLevel, inst_LowIncomeCountry))).

fof(axEconomy506, axiom, 
 (hasType(type_WorldBankGNIPerCapitaLevel, inst_LowerMiddleIncomeCountry))).

fof(axEconomy507, axiom, 
 (hasType(type_IndustryAttribute, inst_LumberIndustry))).

fof(axEconomy508, axiom, 
 (hasType(type_UnitOfCurrency, inst_LuxembourgFranc))).

fof(axEconomy509, axiom, 
 (hasType(type_UnitOfCurrency, inst_MacaoPataca))).

fof(axEconomy510, axiom, 
 (hasType(type_UnitOfCurrency, inst_MadagascarFranc))).

fof(axEconomy511, axiom, 
 (hasType(type_EconomicDevelopmentLevel, inst_MajorIndustrialEconomy))).

fof(axEconomy512, axiom, 
 (hasType(type_UnitOfCurrency, inst_MalawianKwacha))).

fof(axEconomy513, axiom, 
 (hasType(type_UnitOfCurrency, inst_MalaysianRinggit))).

fof(axEconomy514, axiom, 
 (hasType(type_UnitOfCurrency, inst_MaliFranc))).

fof(axEconomy515, axiom, 
 (hasType(type_UnitOfCurrency, inst_MalteseLira))).

fof(axEconomy516, axiom, 
 (hasType(type_FinancialSectorAttribute, inst_ManufacturingBasedEconomy))).

fof(axEconomy517, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_MarketEconomy))).

fof(axEconomy518, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_MarketSocialism))).

fof(axEconomy519, axiom, 
 (hasType(type_UnitOfCurrency, inst_MauritanianOuguiya))).

fof(axEconomy520, axiom, 
 (hasType(type_UnitOfCurrency, inst_MauritianRupee))).

fof(axEconomy521, axiom, 
 (hasType(type_IndustryAttribute, inst_MetallurgyIndustry))).

fof(axEconomy522, axiom, 
 (hasType(type_UnitOfCurrency, inst_MexicanPeso))).

fof(axEconomy523, axiom, 
 (hasType(type_IndustryAttribute, inst_MilletFarming))).

fof(axEconomy524, axiom, 
 (hasType(type_IndustryAttribute, inst_MiningIndustry))).

fof(axEconomy525, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_MixedEconomy))).

fof(axEconomy526, axiom, 
 (hasType(type_UnitOfCurrency, inst_MoldovanLeu))).

fof(axEconomy527, axiom, 
 (hasType(type_UnitOfCurrency, inst_MongolianTugrik))).

fof(axEconomy528, axiom, 
 (hasType(type_UnitOfCurrency, inst_MoroccanDirham))).

fof(axEconomy529, axiom, 
 (hasType(type_IndustryAttribute, inst_MotorVehicleIndustry))).

fof(axEconomy530, axiom, 
 (hasType(type_UnitOfCurrency, inst_MozambiqueMetical))).

fof(axEconomy531, axiom, 
 (hasType(type_UnitOfCurrency, inst_MyanmarKyat))).

fof(axEconomy532, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_NationalizedIndustryEconomy))).

fof(axEconomy533, axiom, 
 (hasType(type_IndustryAttribute, inst_NaturalGasIndustry))).

fof(axEconomy534, axiom, 
 (hasType(type_UnitOfCurrency, inst_NepaleseRupee))).

fof(axEconomy535, axiom, 
 (hasType(type_UnitOfCurrency, inst_NewZealandDollar))).

fof(axEconomy536, axiom, 
 (hasType(type_EconomicDevelopmentLevel, inst_NewlyIndustrializingEconomy))).

fof(axEconomy537, axiom, 
 (hasType(type_UnitOfCurrency, inst_NicaraguanCordoba))).

fof(axEconomy538, axiom, 
 (hasType(type_UnitOfCurrency, inst_NigerFranc))).

fof(axEconomy539, axiom, 
 (hasType(type_UnitOfCurrency, inst_NigerianNaira))).

fof(axEconomy540, axiom, 
 (hasType(type_UnitOfCurrency, inst_NorthKoreanWon))).

fof(axEconomy541, axiom, 
 (hasType(type_UnitOfCurrency, inst_NorwegianKrone))).

fof(axEconomy542, axiom, 
 (hasType(type_PowerGeneration, inst_NuclearPowerGeneration))).

fof(axEconomy543, axiom, 
 (hasType(type_IndustryAttribute, inst_OatFarming))).

fof(axEconomy544, axiom, 
 (hasType(type_FinancialSectorAttribute, inst_OffshoreFinancialSectorEconomy))).

fof(axEconomy545, axiom, 
 (hasType(type_UnitOfCurrency, inst_OmaniRiyal))).

fof(axEconomy546, axiom, 
 (hasType(type_PowerGeneration, inst_OtherSourcePowerGeneration))).

fof(axEconomy547, axiom, 
 (hasType(type_UnitOfCurrency, inst_PakistaniRupee))).

fof(axEconomy548, axiom, 
 (hasType(type_UnitOfCurrency, inst_PanamanianBalboa))).

fof(axEconomy549, axiom, 
 (hasType(type_UnitOfCurrency, inst_PapuanKina))).

fof(axEconomy550, axiom, 
 (hasType(type_UnitOfCurrency, inst_ParaguayanGuarani))).

fof(axEconomy551, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_PartialMarketEconomy))).

fof(axEconomy552, axiom, 
 (hasType(type_UnitOfCurrency, inst_PeruvianInti))).

fof(axEconomy553, axiom, 
 (hasType(type_FinancialSectorAttribute, inst_PetroleumBasedEconomy))).

fof(axEconomy554, axiom, 
 (hasType(type_IndustryAttribute, inst_PetroleumIndustry))).

fof(axEconomy555, axiom, 
 (hasType(type_UnitOfCurrency, inst_PhilippinePeso))).

fof(axEconomy556, axiom, 
 (hasType(type_UnitOfCurrency, inst_PolishZloty))).

fof(axEconomy557, axiom, 
 (hasType(type_UnitOfCurrency, inst_PortugueseEscudo))).

fof(axEconomy558, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_PrivateEnterpriseEconomy))).

fof(axEconomy559, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_PrivatizingEconomy))).

fof(axEconomy560, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_PureCapitalistEconomy))).

fof(axEconomy561, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_PureSocialistEconomy))).

fof(axEconomy562, axiom, 
 (hasType(type_UnitOfCurrency, inst_QatariRiyal))).

fof(axEconomy563, axiom, 
 (hasType(type_IndustryAttribute, inst_RefrigerationEquipmentManufacturing))).

fof(axEconomy564, axiom, 
 (hasType(type_IndustryAttribute, inst_RefrigeratorAndFreezerIndustry))).

fof(axEconomy565, axiom, 
 (hasType(type_UnitOfCurrency, inst_RomanianLeu))).

fof(axEconomy566, axiom, 
 (hasType(type_UnitOfCurrency, inst_RussianRuble))).

fof(axEconomy567, axiom, 
 (hasType(type_UnitOfCurrency, inst_RwandaFranc))).

fof(axEconomy568, axiom, 
 (hasType(type_IndustryAttribute, inst_RyeFarming))).

fof(axEconomy569, axiom, 
 (hasType(type_UnitOfCurrency, inst_SaoThomeEPrincipeDobra))).

fof(axEconomy570, axiom, 
 (hasType(type_UnitOfCurrency, inst_SaudiArabianRiyal))).

fof(axEconomy571, axiom, 
 (hasType(type_UnitOfCurrency, inst_SenegaleseFranc))).

fof(axEconomy572, axiom, 
 (hasType(type_FinancialSectorAttribute, inst_ServiceBasedEconomy))).

fof(axEconomy573, axiom, 
 (hasType(type_IndustryAttribute, inst_ServiceSector))).

fof(axEconomy574, axiom, 
 (hasType(type_UnitOfCurrency, inst_SeychellesRupee))).

fof(axEconomy575, axiom, 
 (hasType(type_UnitOfCurrency, inst_SierraLeoneLeone))).

fof(axEconomy576, axiom, 
 (hasType(type_UnitOfCurrency, inst_SingaporeDollar))).

fof(axEconomy577, axiom, 
 (hasType(type_UnitOfCurrency, inst_SlovakianKoruna))).

fof(axEconomy578, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_SocialistEconomy))).

fof(axEconomy579, axiom, 
 (hasType(type_UnitOfCurrency, inst_SomalianShilling))).

fof(axEconomy580, axiom, 
 (hasType(type_IndustryAttribute, inst_SorghumFarming))).

fof(axEconomy581, axiom, 
 (hasType(type_UnitOfCurrency, inst_SouthAfricanRand))).

fof(axEconomy582, axiom, 
 (hasType(type_UnitOfCurrency, inst_SouthKoreanWon))).

fof(axEconomy583, axiom, 
 (hasType(type_UnitOfCurrency, inst_SpanishPeseta))).

fof(axEconomy584, axiom, 
 (hasType(type_UnitOfCurrency, inst_SriLankanRupee))).

fof(axEconomy585, axiom, 
 (hasType(type_IndustryAttribute, inst_SteelIndustry))).

fof(axEconomy586, axiom, 
 (hasType(type_FinancialSectorAttribute, inst_SubsistenceAgricultureEconomy))).

fof(axEconomy587, axiom, 
 (hasType(type_UnitOfCurrency, inst_SudanesePound))).

fof(axEconomy588, axiom, 
 (hasType(type_UnitOfCurrency, inst_SurinameseGuilder))).

fof(axEconomy589, axiom, 
 (hasType(type_UnitOfCurrency, inst_SwazilandLilangeni))).

fof(axEconomy590, axiom, 
 (hasType(type_UnitOfCurrency, inst_SwedishKrona))).

fof(axEconomy591, axiom, 
 (hasType(type_UnitOfCurrency, inst_SwissFranc))).

fof(axEconomy592, axiom, 
 (hasType(type_UnitOfCurrency, inst_SyrianPound))).

fof(axEconomy593, axiom, 
 (hasType(type_UnitOfCurrency, inst_TaiwanDollar))).

fof(axEconomy594, axiom, 
 (hasType(type_UnitOfCurrency, inst_TajikSomoni))).

fof(axEconomy595, axiom, 
 (hasType(type_UnitOfCurrency, inst_TajikistaniRuble))).

fof(axEconomy596, axiom, 
 (hasType(type_UnitOfCurrency, inst_TanzanianShilling))).

fof(axEconomy597, axiom, 
 (hasType(type_IndustryAttribute, inst_TextileIndustry))).

fof(axEconomy598, axiom, 
 (hasType(type_UnitOfCurrency, inst_ThaiBaht))).

fof(axEconomy599, axiom, 
 (hasType(type_UnitOfCurrency, inst_TogoFranc))).

fof(axEconomy600, axiom, 
 (hasType(type_UnitOfCurrency, inst_TonganPaanga))).

fof(axEconomy601, axiom, 
 (hasType(type_FinancialSectorAttribute, inst_TourismBasedEconomy))).

fof(axEconomy602, axiom, 
 (hasType(type_IndustryAttribute, inst_TourismIndustry))).

fof(axEconomy603, axiom, 
 (hasType(type_FinancialSectorAttribute, inst_TradeBasedEconomy))).

fof(axEconomy604, axiom, 
 (hasType(type_UnitOfCurrency, inst_TrinidadAndTobagoDollar))).

fof(axEconomy605, axiom, 
 (hasType(type_UnitOfCurrency, inst_TunisianDinar))).

fof(axEconomy606, axiom, 
 (hasType(type_UnitOfCurrency, inst_TurkishLira))).

fof(axEconomy607, axiom, 
 (hasType(type_UnitOfCurrency, inst_TurkmenManat))).

fof(axEconomy608, axiom, 
 (hasType(type_UnitOfCurrency, inst_TuvaluDollar))).

fof(axEconomy609, axiom, 
 (hasType(type_FinancialSectorAttribute, inst_TwoTierLaborMarketEconomy))).

fof(axEconomy610, axiom, 
 (hasType(type_UnitOfCurrency, inst_UgandanShilling))).

fof(axEconomy611, axiom, 
 (hasType(type_UnitOfCurrency, inst_UkranianHryvnia))).

fof(axEconomy612, axiom, 
 (hasType(type_EconomicDevelopmentLevel, inst_UnderdevelopedCountry))).

fof(axEconomy613, axiom, 
 (hasType(type_UnitOfCurrency, inst_UnitedArabEmirateDirham))).

fof(axEconomy614, axiom, 
 (hasType(type_WorldBankGNIPerCapitaLevel, inst_UpperMiddleIncomeCountry))).

fof(axEconomy615, axiom, 
 (hasType(type_UnitOfCurrency, inst_UruguayanPeso))).

fof(axEconomy616, axiom, 
 (hasType(type_UnitOfCurrency, inst_UzbekistaniSom))).

fof(axEconomy617, axiom, 
 (hasType(type_IndustryAttribute, inst_VegetableFarming))).

fof(axEconomy618, axiom, 
 (hasType(type_IndustryAttribute, inst_VegetableOilIndustry))).

fof(axEconomy619, axiom, 
 (hasType(type_UnitOfCurrency, inst_VenezuelanBolivar))).

fof(axEconomy620, axiom, 
 (hasType(type_UnitOfCurrency, inst_VietnameseDong))).

fof(axEconomy621, axiom, 
 (hasType(type_EconomicSystemAttribute, inst_WelfareCapitalism))).

fof(axEconomy622, axiom, 
 (hasType(type_UnitOfCurrency, inst_WesternSamoaNtala))).

fof(axEconomy623, axiom, 
 (hasType(type_UnitOfCurrency, inst_YemeniRial))).

fof(axEconomy624, axiom, 
 (hasType(type_Nation, inst_Yugoslavia))).

fof(axEconomy625, axiom, 
 (hasType(type_UnitOfCurrency, inst_YugoslavianDinar))).

fof(axEconomy626, axiom, 
 (hasType(type_UnitOfCurrency, inst_ZaireSezaire))).

fof(axEconomy627, axiom, 
 (hasType(type_UnitOfCurrency, inst_ZambianKwacha))).

fof(axEconomy628, axiom, 
 (hasType(type_UnitOfCurrency, inst_ZimbabweanDollar))).

fof(axEconomy629, axiom, 
 (hasType(type_IndustryAttribute, inst_ZincIndustry))).

fof(axEconomy630, axiom, 
 (hasType(type_IndustryAttribute, inst_ZincManufacturing))).

fof(axEconomy631, axiom, 
 (hasType(type_FinancialSectorAttribute, inst_TaxHavenEconomy))).

fof(axEconomy632, axiom, 
 (hasType(type_FinancialSectorAttribute, inst_OffshoreBankingSectorEconomy))).

fof(axEconomy633, axiom, 
 (hasType(type_IndustryAttribute, inst_AgricultureForestryFishingAndHunting))).

fof(axEconomy634, axiom, 
 (hasType(type_IndustryAttribute, inst_CoalMining))).

fof(axEconomy635, axiom, 
 (hasType(type_IndustryAttribute, inst_CoalProductsManufacturing))).

fof(axEconomy636, axiom, 
 (hasType(type_IndustryAttribute, inst_CopperOreMining))).

fof(axEconomy637, axiom, 
 (hasType(type_IndustryAttribute, inst_PrimarySmeltingAndRefiningOfCopper))).

fof(axEconomy638, axiom, 
 (hasType(type_IndustryAttribute, inst_CopperRollingDrawingExtrudingAndAlloying))).

fof(axEconomy639, axiom, 
 (hasType(type_IndustryAttribute, inst_CopperFoundriesExceptDieCasting))).

fof(axEconomy640, axiom, 
 (hasType(type_IndustryAttribute, inst_FertilizerManufacturing))).

fof(axEconomy641, axiom, 
 (hasType(type_IndustryAttribute, inst_FertilizerMineralMining))).

fof(axEconomy642, axiom, 
 (hasType(type_IndustryAttribute, inst_FurnitureAndRelatedProductManufacturing))).

fof(axEconomy643, axiom, 
 (hasType(type_IndustryAttribute, inst_FurnitureAndHomeFurnishingWholesalers))).

fof(axEconomy644, axiom, 
 (hasType(type_IndustryAttribute, inst_FurnitureAndHomeFurnishingsStores))).

fof(axEconomy645, axiom, 
 (hasType(type_IndustryAttribute, inst_FurnitureManufacturing))).

fof(axEconomy646, axiom, 
 (hasType(type_IndustryAttribute, inst_HandwovenCarpetManufacturing))).

fof(axEconomy647, axiom, 
 (hasType(type_IndustryAttribute, inst_LeadOreMining))).

fof(axEconomy648, axiom, 
 (hasType(type_IndustryAttribute, inst_ForestryAndLogging))).

fof(axEconomy649, axiom, 
 (hasType(type_IndustryAttribute, inst_WoodProductManufacturing))).

fof(axEconomy650, axiom, 
 (hasType(type_IndustryAttribute, inst_Millwork))).

fof(axEconomy651, axiom, 
 (hasType(type_IndustryAttribute, inst_LumberPlywoodMillworkAndWoodPanelWholesalers))).

fof(axEconomy652, axiom, 
 (hasType(type_IndustryAttribute, inst_MiningExceptOilAndGas))).

fof(axEconomy653, axiom, 
 (hasType(type_IndustryAttribute, inst_SupportActivitiesForMetalMining))).

fof(axEconomy654, axiom, 
 (hasType(type_IndustryAttribute, inst_SupportActivitiesForNonmetallicMineralsExceptFuels))).

fof(axEconomy655, axiom, 
 (hasType(type_IndustryAttribute, inst_MotorVehicleManufacturing))).

fof(axEconomy656, axiom, 
 (hasType(type_IndustryAttribute, inst_MotorVehiclePartsManufacturing))).

fof(axEconomy657, axiom, 
 (hasType(type_IndustryAttribute, inst_MotorVehicleBodyAndTrailerManufacturing))).

fof(axEconomy658, axiom, 
 (hasType(type_IndustryAttribute, inst_MotorVehicleAndMotorVehiclePartsAndSuppliesWholesalers))).

fof(axEconomy659, axiom, 
 (hasType(type_IndustryAttribute, inst_MotorVehicleAndPartsDealers))).

fof(axEconomy660, axiom, 
 (hasType(type_IndustryAttribute, inst_NaturalGasLiquidExtraction))).

fof(axEconomy661, axiom, 
 (hasType(type_IndustryAttribute, inst_NaturalGasDistribution))).

fof(axEconomy662, axiom, 
 (hasType(type_IndustryAttribute, inst_PipelineTransportationOfNaturalGas))).

fof(axEconomy663, axiom, 
 (hasType(type_IndustryAttribute, inst_PetroleumProductsManufacturing))).

fof(axEconomy664, axiom, 
 (hasType(type_IndustryAttribute, inst_PetroleumRefineries))).

fof(axEconomy665, axiom, 
 (hasType(type_IndustryAttribute, inst_CrudePetroleumExtraction))).

fof(axEconomy666, axiom, 
 (hasType(type_IndustryAttribute, inst_DrillingOilAndGasWells))).

fof(axEconomy667, axiom, 
 (hasType(type_IndustryAttribute, inst_SupportActivitiesForOilOperations))).

fof(axEconomy668, axiom, 
 (hasType(type_IndustryAttribute, inst_AsphaltPavingRoofingAndSaturatedMaterialsManufacturing))).

fof(axEconomy669, axiom, 
 (hasType(type_IndustryAttribute, inst_RefrigerationEquipmentAndSuppliesWholesalers))).

fof(axEconomy670, axiom, 
 (hasType(type_IndustryAttribute, inst_RefrigeratedWarehousingAndStorage))).

fof(axEconomy671, axiom, 
 (hasType(type_IndustryAttribute, inst_HouseholdRefrigeratorAndHomeFreezerManufacturing))).

fof(axEconomy672, axiom, 
 (hasType(type_IndustryAttribute, inst_CommercialAndIndustrialRefrigerationAndEquipmentManufacturing))).

fof(axEconomy673, axiom, 
 (hasType(type_IndustryAttribute, inst_SteelMills))).

fof(axEconomy674, axiom, 
 (hasType(type_IndustryAttribute, inst_SteelForging))).

fof(axEconomy675, axiom, 
 (hasType(type_IndustryAttribute, inst_SteelFoundriesExceptInvestment))).

fof(axEconomy676, axiom, 
 (hasType(type_IndustryAttribute, inst_SteelInvestmentFoundries))).

fof(axEconomy677, axiom, 
 (hasType(type_IndustryAttribute, inst_SteelProductManufacturingFromPurchasedSteel))).

fof(axEconomy678, axiom, 
 (hasType(type_IndustryAttribute, inst_TextileMills))).

fof(axEconomy679, axiom, 
 (hasType(type_IndustryAttribute, inst_TextileProductMills))).

fof(axEconomy680, axiom, 
 (hasType(type_IndustryAttribute, inst_GrainAndOilseedMilling))).

fof(axEconomy681, axiom, 
 (hasType(type_IndustryAttribute, inst_ZincOreMining))).

fof(axEconomy682, axiom, 
 (hasType(type_IndustryAttribute, inst_CornFarming))).

fof(axEconomy683, axiom, 
 (hasType(type_IndustryAttribute, inst_RiceFarming))).

fof(axEconomy684, axiom, 
 (hasType(type_IndustryAttribute, inst_WheatFarming))).