From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/TPTP/EconomyAx.p | 2430 ---------------------------------------- 1 file changed, 2430 deletions(-) delete mode 100644 examples/SUMO/TPTP/EconomyAx.p (limited to 'examples/SUMO/TPTP/EconomyAx.p') diff --git a/examples/SUMO/TPTP/EconomyAx.p b/examples/SUMO/TPTP/EconomyAx.p deleted file mode 100644 index ef699a533..000000000 --- a/examples/SUMO/TPTP/EconomyAx.p +++ /dev/null @@ -1,2430 +0,0 @@ -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))). - -- cgit v1.2.3