diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
| commit | f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch) | |
| tree | 946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/SUMO/TPTP/EconomyAx.p | |
| parent | 8e1c6cca407c82fc09569d80c231b8d256735989 (diff) | |
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
Diffstat (limited to 'examples/SUMO/TPTP/EconomyAx.p')
| -rw-r--r-- | examples/SUMO/TPTP/EconomyAx.p | 2430 |
1 files changed, 0 insertions, 2430 deletions
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))).
-
|