-- # -path=.:englishExtended
abstract Economy = open Merge, Transportation, Mid_level_ontology, Geography in {



--  AdvancedDevelopingCountry 
-- is an Attribute used to describe a LessDevelopedCountry (LDC) 
-- that is undergoing rapid industrial development. Also called 'newly 
-- industrializing economy' (or 'country').
fun AdvancedDevelopingCountry : Ind EconomicDevelopmentLevel ;


-- AdvancedEconomy is an Attribute 
-- used to represent the InternationalMonetaryFund's top category of 
-- development levels (AdvancedEconomy,, countries in transition, and 
-- developing countries. Generally (but not exactly) corresponds with 
-- DevelopedCountry classification used by UnitedNations agencies.
fun AdvancedEconomy : Ind IMFDevelopmentLevel ;


fun AfghanAfghani : Ind UnitOfCurrency ;

fun AfghanAfghaniCoin : Class ;
fun AfghanAfghaniCoin_Class : SubClass AfghanAfghaniCoin CurrencyCoin ;
fun AgriculturalProduct_Product : SubClass AgriculturalProduct Product ;

fun AgriculturalSector : Ind IndustryAttribute ;

fun AgricultureBasedEconomy : Ind FinancialSectorAttribute ;

-- (AgricultureFn ?PRODUCT) denotes the 
-- subclass of Agriculture processes in which the AgriculturalProduct 
-- ?PRODUCT is cultivated.
fun AgricultureFn: Desc AgriculturalProduct -> Desc Agriculture ;


fun AgricultureForestryFishingAndHunting : Ind IndustryAttribute ;

fun AlbanianLek : Ind UnitOfCurrency ;

fun Alfalfa : Class ;
fun Alfalfa_Class : SubClass Alfalfa (both Fodder (both Plant PlantAgriculturalProduct)) ;

fun AlgerianDinar : Ind UnitOfCurrency ;

fun AlmondNut : Class ;
fun AlmondNut_Class : SubClass AlmondNut EdibleNut ;
-- Aloes is the class of 
-- PlantAgriculturalProducts that are dried juice of 
-- the Aloe plant.
fun Aloes : Class ;
fun Aloes_Class : SubClass Aloes PlantAgriculturalProduct ;

-- Alumina is the naturally occurring oxide 
-- of aluminum which is found in corundum and bauxite.
fun Alumina : Class ;
fun Alumina_Class : SubClass Alumina CompoundSubstance ;

fun AluminumMetal : Class ;
fun AluminumMetal_Class : SubClass AluminumMetal MetalProduct ;
fun AngolanKwanza : Ind UnitOfCurrency ;

-- AnimalSkin is the subclass of 
-- BodyCovering that includes the skins, or parts of skins, 
-- of animals.
fun AnimalSkin : Class ;
fun AnimalSkin_Class : SubClass AnimalSkin BodyCovering ;

fun Apple_Fruit : SubClass Apple Fruit ;

fun Apple_GroceryProduce : SubClass Apple GroceryProduce ;

fun ArgentineAustral : Ind UnitOfCurrency ;

fun ArmenianDram : Ind UnitOfCurrency ;

-- Asphalt is a highly viscous liquid that occurs 
-- naturally in most crude petroleums. Asphalt can be separated from the 
-- other components in crude oil (such as naphtha, gasoline and diesel) by 
-- the process of fractional distillation, usually under vacuum conditions. 
-- Both tars and asphalts are classified as bitumens, a classification that 
-- includes all materials entirely soluble in carbon disulphide. Asphalt is 
-- commonly used in roofing shingles, and combined with mineral aggregate to 
-- make asphalt concrete for making roads. (definition from Wikipedia)
fun Asphalt : Class ;
fun Asphalt_Class : SubClass Asphalt RefinedPetroleumProduct ;

fun AsphaltPavingRoofingAndSaturatedMaterialsManufacturing : Ind IndustryAttribute ;

fun AustralianDollar : Ind UnitOfCurrency ;

fun AustrianSchilling : Ind UnitOfCurrency ;

fun Avocado_GroceryProduce : SubClass Avocado GroceryProduce ;

fun Avocado_TropicalFruit : SubClass Avocado TropicalFruit ;

fun AzerbaijaniManat : Ind UnitOfCurrency ;

fun BahamianDollar : Ind UnitOfCurrency ;

fun BahrainianDinar : Ind UnitOfCurrency ;

fun BalsaWood : Class ;
fun BalsaWood_Class : SubClass BalsaWood WoodProduct ;
fun Banana : Class ;
fun Banana_Class : SubClass Banana (both GroceryProduce TropicalFruit) ;

fun BangladeshiTaka : Ind UnitOfCurrency ;

fun BarbadosDollar : Ind UnitOfCurrency ;

fun BarleyFarming : Ind IndustryAttribute ;

fun BarleyGrain : Class ;
fun BarleyGrain_Class : SubClass BarleyGrain CerealGrain ;
-- Bauxite is an impure mixture of earthy 
-- hydrous aluminum oxides and hydroxides that is the principal 
-- source of aluminum.
fun Bauxite : Class ;
fun Bauxite_Class : SubClass Bauxite (both MiningProduct Mixture) ;


fun Bean : Class ;
fun Bean_Class : SubClass Bean Legume ;
fun BelarusianRubel : Ind UnitOfCurrency ;

fun BelgianFranc : Ind UnitOfCurrency ;

fun BelizeDollar : Ind UnitOfCurrency ;

fun BeninFranc : Ind UnitOfCurrency ;

fun BermudaDollar : Ind UnitOfCurrency ;

fun Berry : Class ;
fun Berry_Class : SubClass Berry (both Fruit GroceryProduce) ;

-- BeverageProduct is the class of products 
-- that are Beverages, packaged or unpackaged.
fun BeverageProduct : Class ;
fun BeverageProduct_Class : SubClass BeverageProduct Product ;

fun BhutaneseNgultrum : Ind UnitOfCurrency ;

fun BlackPepper : Class ;
fun BlackPepper_Class : SubClass BlackPepper Spice ;
fun BolivianBoliviano : Ind UnitOfCurrency ;

fun BotswanaPula : Ind UnitOfCurrency ;

fun BrazilianReal : Ind UnitOfCurrency ;

fun Breadfruit : Class ;
fun Breadfruit_Class : SubClass Breadfruit (both GroceryProduce TropicalFruit) ;

fun BritishPound : Ind UnitOfCurrency ;

fun BritishPoundCoin : Class ;
fun BritishPoundCoin_Class : SubClass BritishPoundCoin CurrencyCoin ;
fun BruneiDollar : Ind UnitOfCurrency ;

fun BulgarianLev : Ind UnitOfCurrency ;

fun BurkinaFasoFranc : Ind UnitOfCurrency ;

fun BurundiFranc : Ind UnitOfCurrency ;

fun Cabbage : Class ;
fun Cabbage_Class : SubClass Cabbage (both GroceryProduce Vegetable) ;

fun CambodianRiel : Ind UnitOfCurrency ;

fun Camel : Class ;
fun Camel_Class : SubClass Camel (both Livestock Mammal) ;

fun CameroonFranc : Ind UnitOfCurrency ;

fun CanadianDollar : Ind UnitOfCurrency ;

fun CanadianDollarCoin : Class ;
fun CanadianDollarCoin_Class : SubClass CanadianDollarCoin CurrencyCoin ;

fun Cannabis : Class ;
fun Cannabis_Class : SubClass Cannabis PlantAgriculturalProduct ;

fun CapeVerdeEscudo : Ind UnitOfCurrency ;

-- CapitalGoods are those that are used 
-- in the production of other Products. For example, raw materials 
-- from which end products are manufactured, or machines and other 
-- structures used in the production process.
fun CapitalGood : Class ;
fun CapitalGood_Class : SubClass CapitalGood Product ;

-- CapitalistEconomy is the 
-- Attribute used to characterize a country whose economy is based 
-- on private ownership of the means of production and distribution, 
-- and on private accumulation of capital.
fun CapitalistEconomy : Ind EconomicSystemAttribute ;


fun Cardamom : Class ;
fun Cardamom_Class : SubClass Cardamom Spice ;
fun Carrot : Class ;
fun Carrot_Class : SubClass Carrot (both GroceryProduce RootVegetable) ;

fun CashewNut : Class ;
fun CashewNut_Class : SubClass CashewNut EdibleNut ;
fun Cassava : Class ;
fun Cassava_Class : SubClass Cassava (both GroceryProduce RootVegetable) ;

fun Cattle : Class ;
fun Cattle_Class : SubClass Cattle (both HoofedMammal Livestock) ;

fun Cauliflower : Class ;
fun Cauliflower_Class : SubClass Cauliflower (both GroceryProduce Vegetable) ;

fun Caviar : Class ;
fun Caviar_Class : SubClass Caviar FishRoe ;
fun CaymanIslandsDollar : Ind UnitOfCurrency ;

-- Cement is a subclass of CompoundSubstance 
-- whose instances may contain various minerals or ores, prepared by 
-- heating and pulverizing, and used in binding Concrete or in laying 
-- brick or stone.
fun Cement : Class ;
fun Cement_Class : SubClass Cement (both CompoundSubstance ManufacturedProduct) ;


fun CentralAfricanRepublicFranc : Ind UnitOfCurrency ;

-- CentrallyPlannedEconomy 
-- is a term used mainly to describe communist or formerly communist 
-- states, many of which are now evolving away from command economies 
-- towards market_oriented systems. Also known as a 'command economy'.
fun CentrallyPlannedEconomy : Ind EconomicSystemAttribute ;


fun CerealGrainFarming : Ind IndustryAttribute ;

fun CerealGrain_PlantAgriculturalProduct : SubClass CerealGrain PlantAgriculturalProduct ;

fun CerealGrain_Vegetable : SubClass CerealGrain Vegetable ;

fun CerealGrass : Class ;
fun CerealGrass_Class : SubClass CerealGrass Grass ;
fun ChadianFranc : Ind UnitOfCurrency ;

fun Cheese : Class ;
fun Cheese_Class : SubClass Cheese (both DairyProduct PreparedFood) ;

-- ChemicalProduct is the subclass 
-- of Product comprising all chemical compounds that are end products 
-- or industrial products used in the manufacture of end products.
fun ChemicalProduct : Class ;
fun ChemicalProduct_Class : SubClass ChemicalProduct (both CompoundSubstance ManufacturedProduct) ;


fun ChileanPeso : Ind UnitOfCurrency ;

fun ChineseYuan : Ind UnitOfCurrency ;

fun Chrysanthemum : Class ;
fun Chrysanthemum_Class : SubClass Chrysanthemum (both FloweringPlant PlantAgriculturalProduct) ;

fun Cinnamon : Class ;
fun Cinnamon_Class : SubClass Cinnamon Spice ;
fun CitrusFruit : Class ;
fun CitrusFruit_Class : SubClass CitrusFruit (both Fruit GroceryProduce) ;

fun ClothesDryer : Class ;
fun ClothesDryer_Class : SubClass ClothesDryer MajorAppliance ;
fun ClothesWashingMachine : Class ;
fun ClothesWashingMachine_Class : SubClass ClothesWashingMachine MajorAppliance ;
fun Clove : Class ;
fun Clove_Class : SubClass Clove Spice ;
fun Clover : Class ;
fun Clover_Class : SubClass Clover (both Fodder (both Plant PlantAgriculturalProduct)) ;

fun CoalIndustry : Ind IndustryAttribute ;

fun CoalMining : Ind IndustryAttribute ;

fun CoalProductsManufacturing : Ind IndustryAttribute ;

-- Coca is the class of 
-- PlantAgriculturalProducts consisting of the parts, 
-- especially leaves, of the coca plant. Coca leaves 
-- are the source of Cocaine.
fun Coca : Class ;
fun Coca_Class : SubClass Coca PlantAgriculturalProduct ;

fun Cocaine : Class ;
fun Cocaine_Class : SubClass Cocaine (both Narcotic PlantAgriculturalProduct) ;

-- Cocoa is the class of powdered 
-- PlantAgriculturalProduct derived from cacao beans.
fun Cocoa : Class ;
fun Cocoa_Class : SubClass Cocoa (both FruitOrVegetable PlantAgriculturalProduct) ;


fun CocoaBean : Class ;
fun CocoaBean_Class : SubClass CocoaBean (both FruitOrVegetable PlantAgriculturalProduct) ;

fun Coconut_GroceryProduce : SubClass Coconut GroceryProduce ;

fun Coconut_TropicalFruit : SubClass Coconut TropicalFruit ;

fun CoffeeBean : Class ;
fun CoffeeBean_Class : SubClass CoffeeBean (both FruitOrVegetable PlantAgriculturalProduct) ;

fun ColombianPeso : Ind UnitOfCurrency ;

fun CommercialAndIndustrialRefrigerationAndEquipmentManufacturing : Ind IndustryAttribute ;

fun CommunalLandOwnershipEconomy : Ind EconomicSystemAttribute ;

-- Concrete is a class of CompoundSubstances 
-- used as building materials. Concrete is made up of Mineral pieces 
-- (sand or gravel) and a Cement material used to bind them together.
fun Concrete : Class ;
fun Concrete_Class : SubClass Concrete (both ManufacturedProduct Mixture) ;


fun CongoFranc : Ind UnitOfCurrency ;

fun ConsumerGood : Class ;
fun ConsumerGood_Class : SubClass ConsumerGood ManufacturedProduct ;
fun ConsumerGoodsIndustry : Ind IndustryAttribute ;

fun ControlledLaborMarketEconomy : Ind FinancialSectorAttribute ;

-- ControlledSubstance is 
-- the subclass of BiologicallyActiveSubstances whose distribution 
-- and use is controlled by government regulation.
fun ControlledSubstance : Class ;
fun ControlledSubstance_Class : SubClass ControlledSubstance BiologicallyActiveSubstance ;

fun CookingOven : Class ;
fun CookingOven_Class : SubClass CookingOven MajorAppliance ;
fun CookingRange : Class ;
fun CookingRange_Class : SubClass CookingRange MajorAppliance ;
fun CopperFoundriesExceptDieCasting : Ind IndustryAttribute ;

fun CopperIndustry : Ind IndustryAttribute ;

fun CopperOre : Class ;
fun CopperOre_Class : SubClass CopperOre (both Mineral MiningProduct) ;

fun CopperOreMining : Ind IndustryAttribute ;

fun CopperRollingDrawingExtrudingAndAlloying : Ind IndustryAttribute ;

-- Copra is the class of dried coconut 
-- meat valued for the extracted coconut oil.
fun Copra : Class ;
fun Copra_Class : SubClass Copra PlantAgriculturalProduct ;

fun CornFarming : Ind IndustryAttribute ;

fun CostaRicanColon : Ind UnitOfCurrency ;

fun CottonFiber : Class ;
fun CottonFiber_Class : SubClass CottonFiber PlantAgriculturalProduct ;
-- CountryInTransition is a term 
-- used by the InternationalMonetaryFund (IMF) to describe the middle 
-- group in its hierarchy of advanced countries, countries in transition, 
-- and developing countries. Most of the countries with this attribute 
-- are former USSR or Eastern European countries. Generally corresponds 
-- with FormerSovietOrEasternEuropeanCountry classification used by 
-- UnitedNations agencies.
fun CountryInTransition : Ind IMFDevelopmentLevel ;


fun CowPea : Class ;
fun CowPea_Class : SubClass CowPea Legume ;
fun Crayfish : Class ;
fun Crayfish_Class : SubClass Crayfish Shellfish ;
fun CrudePetroleumExtraction : Ind IndustryAttribute ;

fun CubanPeso : Ind UnitOfCurrency ;

fun Cucumber : Class ;
fun Cucumber_Class : SubClass Cucumber (both GroceryProduce Vegetable) ;

fun CutFlower : Class ;
fun CutFlower_Class : SubClass CutFlower PlantAgriculturalProduct ;
fun CypriotPound : Ind UnitOfCurrency ;

fun CzechKoruna : Ind UnitOfCurrency ;

fun DanishKrone : Ind UnitOfCurrency ;

fun DateFruit_GroceryProduce : SubClass DateFruit GroceryProduce ;

fun DateFruit_TropicalFruit : SubClass DateFruit TropicalFruit ;

fun Deer : Class ;
fun Deer_Class : SubClass Deer (both HoofedMammal Livestock) ;

-- DemocraticSocialism is an 
-- Attribute that describes a country in which socialism is promoted 
-- by a political party or parties within a democratic government. 
-- Under DemocraticSocialism, the government participates in central 
-- planning of the economy and may also manage nationalized industries.
fun DemocraticSocialism : Ind EconomicSystemAttribute ;


-- DevelopedCountry (DC) is a term used to describe members of the top 
-- group in the UNEconomicDevelopmentLevels. DevelopedCountry includes 
-- market_oriented economies of mainly democratic nations, including members 
-- of the OrganizationForEconomicCooperationAndDevelopment (OECD). DCs 
-- are also known as First World countries, 'the North', and industrial 
-- countries. Developed countries generally have high incomes (high per 
-- capita GDP or GNI), but there are exceptions to DC membership both above 
-- and below that standard. There is significant overlap, but not perfect 
-- congruence, between the UN category DevelopedCountry and the IMF 
-- category AdvancedEconomy.
fun DevelopedCountry : Ind UNEconomicDevelopmentLevel ;


-- DevelopingCountry is a term 
-- used by the InternationalMonetaryFund (IMF) for the bottom group 
-- in its hierarchy of advanced countries, countries in transition, 
-- and developing countries. Generally corresponds to the attribute 
-- LessDevelopedCountry used by UnitedNations agencies. Not to 
-- be confused with DevelopedCountry.
fun DevelopingCountry : Ind IMFDevelopmentLevel ;


-- DieselFuel is the subclass of 
-- RefinedPetroleumProducts that are fuels for diesel engines.
fun DieselFuel : Class ;
fun DieselFuel_Class : SubClass DieselFuel FossilFuel ;

fun Dishwasher : Class ;
fun Dishwasher_Class : SubClass Dishwasher MajorAppliance ;
-- Distillation is a means of separating Liquids 
-- through differences in their boilingPoints. The device used in 
-- distillation is referred to as a still and consists at a minimum of a pot 
-- in which the source material is heated, a condenser in which the heated 
-- Gas is cooled back to the liquid state, and a receiver in which the 
-- concentrated or purified liquid is collected. The equipment may effect 
-- separation by one of two main methods. Firstly the vapours given off by 
-- the heated mixture may consist of two liquids with significantly different 
-- boiling points. Thus, the vapour that is given off is in the vast 
-- majority of one or the other liquid, which after condensation and 
-- collection effects the separation. The second method (fractional 
-- distillation) relies upon a gradient of temperatures existing in the 
-- condenser stage of the equipment. Often in this technique, a vertical 
-- condenser, or column, is used. By extracting products that are liquid at 
-- different heights up the column, it is possible to extract liquids that 
-- have different boiling points. (from Wikipedia)
fun Distilling : Class ;
fun Distilling_Class : SubClass Distilling Separating ;

fun DiversifiedEconomy : Ind FinancialSectorAttribute ;

fun DjiboutiFranc : Ind UnitOfCurrency ;

fun DominicanDollar : Ind UnitOfCurrency ;

fun DominicanPeso : Ind UnitOfCurrency ;

fun DrillingOilAndGasWells : Ind IndustryAttribute ;

-- DurableGood is the subclass of 
-- ManufacturedProducts which are designed to last for three years 
-- or more.
fun DurableGood : Class ;
fun DurableGood_Class : SubClass DurableGood ManufacturedProduct ;

fun DutchGuilder : Ind UnitOfCurrency ;

-- EconomicAttribute is the class 
-- of terms including all Attributes used to characterize the 
-- economic systems or development levels of Nations or dependent 
-- GeopoliticalAreas.
fun EconomicAttribute : Class ;
fun EconomicAttribute_Class : SubClass EconomicAttribute (both PoliticoEconomicAttribute RelationalAttribute) ;


-- EconomicDevelopmentLevel is a subclass of EconomicAttribute 
-- containing terms used to describe the economic development level of a 
-- Nation or GeopoliticalArea. This class is further subdivided into 
-- different scales devised or used by different agencies.
fun EconomicDevelopmentLevel : Class ;
fun EconomicDevelopmentLevel_Class : SubClass EconomicDevelopmentLevel EconomicAttribute ;

-- EconomicSystemAttribute 
-- is the class of Attributes that describe the type of economic 
-- system that a country or area has. For example, CapitalistEconomy 
-- or SocialistEconomy.
fun EconomicSystemAttribute : Class ;
fun EconomicSystemAttribute_Class : SubClass EconomicSystemAttribute EconomicAttribute ;

fun EcuadoranSucre : Ind UnitOfCurrency ;

fun EdibleNut : Class ;
fun EdibleNut_Class : SubClass EdibleNut (both FruitOrVegetable GroceryProduce) ;

fun EdibleTuber : Class ;
fun EdibleTuber_Class : SubClass EdibleTuber (both PlantAgriculturalProduct RootVegetable) ;

fun Eggplant : Class ;
fun Eggplant_Class : SubClass Eggplant (both GroceryProduce Vegetable) ;

fun EgyptianPound : Ind UnitOfCurrency ;

fun ElSalvadoranColon : Ind UnitOfCurrency ;

-- ElectricalPowerGeneration is 
-- the subclass of PowerGeneration processes in which electricity is 
-- generated.
fun ElectricalPowerGeneration : Class ;
fun ElectricalPowerGeneration_Class : SubClass ElectricalPowerGeneration PowerGeneration ;

-- While electricity is typically thought of as just a difference
-- in electrical potential, one way of modeling electricity is as a substance
-- that can be moved from one point to another or consumed. One could make the claim
-- that subatomic physics also supports the classification as a substance since electrons
-- are objects.
fun Electricity : Class ;
fun Electricity_Class : SubClass Electricity Substance ;

fun EstonianKroon : Ind UnitOfCurrency ;

fun EthiopianBirr : Ind UnitOfCurrency ;

fun EuroCentCoin : Class ;
fun EuroCentCoin_Class : SubClass EuroCentCoin CurrencyCoin ;
fun EuroDollarCoin : Class ;
fun EuroDollarCoin_Class : SubClass EuroDollarCoin CurrencyCoin ;
-- Exporting is the class of actions in 
-- which there is a ChangeOfPossession of goods shipped from a 
-- provider in one Nation to a destination in another Nation. 
-- Typically, there are Selling and Buying events associated 
-- with an Exporting. Either the seller or the exporting country 
-- may be considered the origin of Exporting.
fun Exporting : Class ;
fun Exporting_Class : SubClass Exporting (both ChangeOfPossession FinancialTransaction) ;


-- Any Mixture which is used to provide nutrients to 
-- living Plants. Fertilizers can be made up of plant or animal material, e.g. 
-- compost, or they can be entirely synthetic, e.g. ammonium nitrate.
fun Fertilizer : Class ;
fun Fertilizer_Class : SubClass Fertilizer Mixture ;

fun FertilizerIndustry : Ind IndustryAttribute ;

fun FertilizerManufacturing : Ind IndustryAttribute ;

fun FertilizerMineralMining : Ind IndustryAttribute ;

fun FijiDollar : Ind UnitOfCurrency ;

-- FinancialSectorAttribute is 
-- a class of Attributes that are used to indicate which financial sectors 
-- are most important in the economy of a Nation or GeopoliticalArea.
fun FinancialSectorAttribute : Class ;
fun FinancialSectorAttribute_Class : SubClass FinancialSectorAttribute EconomicAttribute ;

fun FinnishMarkka : Ind UnitOfCurrency ;

-- (FiscalYearFn ?PLACE) denotes the subclass 
-- of TimeIntervals that are fiscalYearPeriods of the Organization or 
-- GeopoliticalArea ?PLACE.
fun FiscalYearFn: El Agent -> Desc TimeInterval ;


-- (FiscalYearStartingFn ?PLACE ?YEAR) 
-- denotes the particular fiscal year that is observed in ?PLACE and begins 
-- during the calendar Year indicated by ?YEAR.
fun FiscalYearStartingFn: El Agent -> Desc Year -> Ind TimeInterval ;


-- FishProduct is the subclass of 
-- AnimalAgriculturalProduct that comprises products derived 
-- from fish.
fun FishProduct : Class ;
fun FishProduct_Class : SubClass FishProduct AnimalAgriculturalProduct ;

fun FishRoe : Class ;
fun FishRoe_Class : SubClass FishRoe FishProduct ;
fun FlaxFiber : Class ;
fun FlaxFiber_Class : SubClass FlaxFiber PlantAgriculturalProduct ;
fun Fodder_OrganicObject : SubClass Fodder OrganicObject ;

fun FoodEgg : Class ;
fun FoodEgg_Class : SubClass FoodEgg AnimalAgriculturalProduct ;
fun FoodFish : Class ;
fun FoodFish_Class : SubClass FoodFish Seafood ;
-- FoodProduct is the class of food 
-- products, packaged or unpackaged.
fun FoodProduct : Class ;
fun FoodProduct_Class : SubClass FoodProduct Product ;

fun Footwear : Class ;
fun Footwear_Class : SubClass Footwear Clothing ;
fun ForageCrop : Class ;
fun ForageCrop_Class : SubClass ForageCrop (both Fodder (both Plant PlantAgriculturalProduct)) ;

fun ForestProduct : Class ;
fun ForestProduct_Class : SubClass ForestProduct Product ;
fun ForestryAndLogging : Ind IndustryAttribute ;

-- FormerSovietOrEasternEuropeanCountry (former USSR_EE) is an 
-- Attribute that characterizes countries that were part of the former 
-- Soviet Union or its sphere of influence in Eastern Europe. This level 
-- occupies a middle position between DevelopedCountry (DC) and 
-- LessDevelopedCountry (LDC) in UNEconomicDevelopmentLevels. 
-- Previously, former USSR_EE countries had a CentrallyPlannedEconomy and 
-- were Marxist_Leninist states. Many are now evolving away from command 
-- economies to market economic systems. During the 1980's, the group 
-- included Albania, Bulgaria, Cambodia, China, Cuba, Czechoslovakia, the 
-- German Democratic Republic (East Germany), Hungary, North Korea, Laos, 
-- Mongolia, Poland, Romania, the USSR, Vietnam and Yugoslavia.
fun FormerSovietOrEasternEuropeanCountry : Ind UNEconomicDevelopmentLevel ;


fun FossilFuelPowerGeneration : Ind PowerGeneration ;

-- FourDragonsEconomy describes four 
-- small Asian countries that achieved rapid economic growth in the 1990s. 
-- Some systems of EconomicDevelopmentLevel place them as a 
-- LessDevelopedCountry, but the IMF includes them in AdvancedEconomy.
fun FourDragonsEconomy : Ind EconomicDevelopmentLevel ;


fun Freezer : Class ;
fun Freezer_Class : SubClass Freezer MajorAppliance ;
fun FrenchFranc : Ind UnitOfCurrency ;

fun FrenchFrancCoin : Class ;
fun FrenchFrancCoin_Class : SubClass FrenchFrancCoin CurrencyCoin ;
fun Fruit : Class ;
fun Fruit_Class : SubClass Fruit FruitOrVegetable ;
fun FruitFarming : Ind IndustryAttribute ;

fun FurnitureAndHomeFurnishingWholesalers : Ind IndustryAttribute ;

fun FurnitureAndHomeFurnishingsStores : Ind IndustryAttribute ;

fun FurnitureAndRelatedProductManufacturing : Ind IndustryAttribute ;

fun FurnitureIndustry : Ind IndustryAttribute ;

fun FurnitureManufacturing : Ind IndustryAttribute ;

fun Furniture_DurableGood : SubClass Furniture DurableGood ;

fun GabonFranc : Ind UnitOfCurrency ;

fun GambianDalasi : Ind UnitOfCurrency ;

-- Gasoline is the subclass of 
-- RefinedPetroleumProducts that are fuels for internal combustion engines.
fun Gasoline : Class ;
fun Gasoline_Class : SubClass Gasoline FossilFuel ;

-- Gemstone is the subclass of Mineral items 
-- that are especially valued for use in jewelry and other decorative items, and also in some mechanical and industrial applications.
fun Gemstone : Class ;
fun Gemstone_Class : SubClass Gemstone Mixture ;

fun GeorgianLari : Ind UnitOfCurrency ;

fun GermanMark : Ind UnitOfCurrency ;

fun GermanMarkCoin : Class ;
fun GermanMarkCoin_Class : SubClass GermanMarkCoin CurrencyCoin ;
fun GhanianCedi : Ind UnitOfCurrency ;

fun Ginger : Class ;
fun Ginger_Class : SubClass Ginger (both Spice Vegetable) ;

-- A domesticated HoofedMammal that is raised primarily 
-- for Milk.
fun Goat : Class ;
fun Goat_Class : SubClass Goat (both HoofedMammal Livestock) ;


-- GovernmentRegulatedEconomy 
-- is an Attribute that describes the economy of a country in which the 
-- government determines prices, production, wages, allocation of resources, 
-- or other economic factors. An economy that is wholly government planned 
-- is a CentrallyPlannedEconomy.
fun GovernmentRegulatedEconomy : Ind EconomicSystemAttribute ;


-- GovernmentSubsidizedEconomy 
-- is an Attribute describing an economy in which the government provides 
-- subsidies to various industries, workers, or other groups as part of its 
-- economic policy.
fun GovernmentSubsidizedEconomy : Ind EconomicSystemAttribute ;


fun GrainAndOilseedMilling : Ind IndustryAttribute ;

fun Grape : Class ;
fun Grape_Class : SubClass Grape (both Fruit GroceryProduce) ;

fun GreekDrachma : Ind UnitOfCurrency ;

fun GreenPepper : Class ;
fun GreenPepper_Class : SubClass GreenPepper (both GroceryProduce Vegetable) ;

fun GrenadaDollar : Ind UnitOfCurrency ;

fun Groundnut : Class ;
fun Groundnut_Class : SubClass Groundnut (both EdibleTuber (both FruitOrVegetable GroceryProduce)) ;

fun GuatemalanQuetzal : Ind UnitOfCurrency ;

fun GuernseyCattle : Class ;
fun GuernseyCattle_Class : SubClass GuernseyCattle Cattle ;
fun GuineaBissauPeso : Ind UnitOfCurrency ;

fun GuineanFranc : Ind UnitOfCurrency ;

fun GumArabic : Class ;
fun GumArabic_Class : SubClass GumArabic (both PlantAgriculturalProduct Substance) ;

fun GuyanaDollar : Ind UnitOfCurrency ;

fun HaitianGourde : Ind UnitOfCurrency ;

fun HandicraftIndustry : Ind IndustryAttribute ;

-- HandicraftProduct is the class of 
-- Products that are manufactured by hand with a special skill.
fun HandicraftProduct : Class ;
fun HandicraftProduct_Class : SubClass HandicraftProduct Product ;

fun HandwovenCarpet : Class ;
fun HandwovenCarpet_Class : SubClass HandwovenCarpet (both HandicraftProduct TextileProduct) ;

fun HandwovenCarpetManufacturing : Ind IndustryAttribute ;

fun Hardwood : Class ;
fun Hardwood_Class : SubClass Hardwood WoodProduct ;
fun HempFiber : Class ;
fun HempFiber_Class : SubClass HempFiber PlantAgriculturalProduct ;
-- HighIncomeCountry is an Attribute representing the World Bank 
-- classification for any country where the per capita GNI is 
-- equal to or greater than &9,266 in UnitedStatesDollars.
fun HighIncomeCountry : Ind WorldBankGNIPerCapitaLevel ;


-- HighTechIndustrialEconomy 
-- is an Attribute used to describe industrialized countries whose 
-- infrastructure uses the most advanced kinds of technology.
fun HighTechIndustrialEconomy : Ind EconomicDevelopmentLevel ;


fun HonduranLempira : Ind UnitOfCurrency ;

fun Honey_AnimalAgriculturalProduct : SubClass Honey AnimalAgriculturalProduct ;

fun HongKongDollar : Ind UnitOfCurrency ;

fun HotWaterHeater : Class ;
fun HotWaterHeater_Class : SubClass HotWaterHeater MajorAppliance ;
fun HouseholdRefrigeratorAndHomeFreezerManufacturing : Ind IndustryAttribute ;

fun HungarianForint : Ind UnitOfCurrency ;

fun HydroElectricPowerGeneration : Ind ElectricalPowerGeneration ;

-- IMFDevelopmentLevel is a 
-- collection of Attributes representing economic development levels 
-- used by the InternationalMonetaryFund (IMF) to characterize national 
-- economies. The hierarchy of IMF levels includes: AdvancedEconomy, 
-- CountryInTransition, and DevelopingCountry. There is some, but not 
-- complete, overlap with concepts used by UnitedNations agencies. 
-- See
fun IMFDevelopmentLevel : Class ;
fun IMFDevelopmentLevel_Class : SubClass IMFDevelopmentLevel EconomicDevelopmentLevel ;

fun IcelandicKrona : Ind UnitOfCurrency ;

fun IndianRupee : Ind UnitOfCurrency ;

fun IndonesianRupiah : Ind UnitOfCurrency ;

fun IndustrialRawMaterial : Class ;
fun IndustrialRawMaterial_Class : SubClass IndustrialRawMaterial CapitalGood ;
fun IndustrialSector : Ind IndustryAttribute ;

-- IndustrialSupply is the class of 
-- products that are used in industry but which are not raw materials 
-- for products being manufactured. IndustrialSupply includes maintenance, 
-- repair, and operation (MRO) supplies, including janitorial, electrical, 
-- bearings, tools, machinery, accessories, fire and safety equipment, and 
-- other industrial items.
fun IndustrialSupply : Class ;
fun IndustrialSupply_Class : SubClass IndustrialSupply (both CapitalGood ManufacturedProduct) ;


fun IndustryAttribute : Class ;

fun IranianRial : Ind UnitOfCurrency ;

fun IraqiDinar : Ind UnitOfCurrency ;

fun IrishPound : Ind UnitOfCurrency ;

fun IronMetal : Class ;
fun IronMetal_Class : SubClass IronMetal MetalProduct ;
-- IronOre is a subclass of CompoundSubstance 
-- that contains compounds of iron, of which the most common are 
-- hematite and limonite. Iron is obtained from smelting iron ores.
fun IronOre : Class ;
fun IronOre_Class : SubClass IronOre (both CompoundSubstance (both Mineral MiningProduct)) ;


fun IsraeliShekel : Ind UnitOfCurrency ;

fun ItalianLire : Ind UnitOfCurrency ;

fun ItalianLireCoin : Class ;
fun ItalianLireCoin_Class : SubClass ItalianLireCoin CurrencyCoin ;
fun IvoryCoastFranc : Ind UnitOfCurrency ;

fun JamaicanDollar : Ind UnitOfCurrency ;

fun JapaneseYen : Ind UnitOfCurrency ;

fun JapaneseYenCoin : Class ;
fun JapaneseYenCoin_Class : SubClass JapaneseYenCoin CurrencyCoin ;
-- Jewelry is the subclass of PersonalAdornment 
-- items that are typically made of metals (especially precious metals), 
-- gems, and other non_cloth materials.
fun Jewelry : Class ;
fun Jewelry_Class : SubClass Jewelry (both PersonalAdornment WearableItem) ;


fun JordanianDinar : Ind UnitOfCurrency ;

fun JuteFiber : Class ;
fun JuteFiber_Class : SubClass JuteFiber PlantAgriculturalProduct ;
fun KazakhstaniTenge : Ind UnitOfCurrency ;

fun KentiaPalmSeed : Class ;
fun KentiaPalmSeed_Class : SubClass KentiaPalmSeed (both PlantAgriculturalProduct Seed) ;

fun KenyanShilling : Ind UnitOfCurrency ;

-- Khat is the class of PlantAgriculturalProducts 
-- made from the leaves and buds of the staff tree, which 
-- are chewed or brewed as a stimulating tea.
fun Khat : Class ;
fun Khat_Class : SubClass Khat PlantAgriculturalProduct ;

-- KilowattHour is a UnitOfMeasure for 
-- energy that represents 1000 Watts (1 kW) of power expended over one 
-- hour (1 h) of time. This is the unit commonly used in commercial 
-- power contexts. It is equivalent to 3,600,000 Joules.
fun KilowattHour : Ind CompositeUnitOfMeasure ;


fun KiribatiDollar : Ind UnitOfCurrency ;

fun KuwaitiDinar : Ind UnitOfCurrency ;

fun KyrgyzstaniSom : Ind UnitOfCurrency ;

fun LambMeat : Class ;
fun LambMeat_Class : SubClass LambMeat Meat ;
fun Lambskin : Class ;
fun Lambskin_Class : SubClass Lambskin Pelt ;
fun LaotianKip : Ind UnitOfCurrency ;

fun LatvianLats : Ind UnitOfCurrency ;

fun LeadIndustry : Ind IndustryAttribute ;

fun LeadManufacturing : Ind IndustryAttribute ;

fun LeadMetal : Class ;
fun LeadMetal_Class : SubClass LeadMetal MetalProduct ;
fun LeadOre : Class ;
fun LeadOre_Class : SubClass LeadOre (both Mineral MiningProduct) ;

fun LeadOreMining : Ind IndustryAttribute ;

fun LeadProduct : Class ;
fun LeadProduct_Class : SubClass LeadProduct (both LeadMetal ManufacturedProduct) ;

fun Leaf : Class ;
fun Leaf_Class : SubClass Leaf AnatomicalStructure ;
fun LeafyGreenVegetable : Class ;
fun LeafyGreenVegetable_Class : SubClass LeafyGreenVegetable (both GroceryProduce Vegetable) ;

-- LeastDevelopedCountry 
-- is a sub_classification of LessDevelopedCountry characterizing
-- those countries that have no significant economic growth, a per 
-- capita GDP of less than 1,000 UnitedStatesDollars, and low 
-- literacy. Also known as 'undeveloped countries'.
fun LeastDevelopedCountry : Ind EconomicDevelopmentLevel ;


fun LebanesePound : Ind UnitOfCurrency ;

fun Legume : Class ;
fun Legume_Class : SubClass Legume (both PlantAgriculturalProduct Vegetable) ;

fun Lemon : Class ;
fun Lemon_Class : SubClass Lemon CitrusFruit ;
fun Lentil : Class ;
fun Lentil_Class : SubClass Lentil Pulse ;
fun LesothoLoti : Ind UnitOfCurrency ;

-- LessDevelopedCountry (LDC) is 
-- the Attribute used to describe the bottom group in the hierarchy 
-- of UNEconomicDevelopmentLevels. Less developed countries are countries 
-- or dependent areas with low levels of production, living standards, 
-- and technology. Per capita GDP (perCapitaGDPInPeriod), or GDI 
-- (Gross Domestic Income), is generally less than 5,000 and often 
-- below 1,500. Subgroups of LDC, however, include countries that have 
-- higher per capita incomes, as well as advanced technology, and rapid rates 
-- of growth. Subgroups of LDC include: advanced developing countries, 
-- the Four Dragons (also known as Four Tigers), LeastDevelopedCountry 
-- (LLDCs), low_income countries, middle_income countries, newly 
-- industrializing economies (NIEs), the South (from the location of 
-- most LDC countries, relative to Northern developed countries), Third 
-- World (obsolete), UnderdevelopedCountry, UndevelopedCountry.
fun LessDevelopedCountry : Ind UNEconomicDevelopmentLevel ;


fun LiberianDollar : Ind UnitOfCurrency ;

fun LibyanDinar : Ind UnitOfCurrency ;

fun Lime : Class ;
fun Lime_Class : SubClass Lime CitrusFruit ;
fun LithuanianLitas : Ind UnitOfCurrency ;

-- LowIncomeCountry is an 
-- Attribute representing the World Bank classification for any country 
-- where the per capita GNI is 755 or below in UnitedStatesDollars.
fun LowIncomeCountry : Ind WorldBankGNIPerCapitaLevel ;


-- LowerMiddleIncomeCountry is an Attribute representing the World 
-- Bank classification for any country where the per capita GNI is 
-- between 756 and 2,995 (inclusive) in UnitedStatesDollars.
fun LowerMiddleIncomeCountry : Ind WorldBankGNIPerCapitaLevel ;


-- A ManufacturedProduct derived from Timber.
fun Lumber : Class ;
fun Lumber_Class : SubClass Lumber (both DurableGood ForestProduct) ;


fun LumberIndustry : Ind IndustryAttribute ;

fun LumberPlywoodMillworkAndWoodPanelWholesalers : Ind IndustryAttribute ;

fun LuxembourgFranc : Ind UnitOfCurrency ;

fun MacademiaNut : Class ;
fun MacademiaNut_Class : SubClass MacademiaNut EdibleNut ;
fun MacaoPataca : Ind UnitOfCurrency ;

fun Mace : Class ;
fun Mace_Class : SubClass Mace Spice ;
fun MachineTool : Class ;
fun MachineTool_Class : SubClass MachineTool Machinery ;
fun Machine_Machinery : SubClass Machine Machinery ;

-- Machinery is the class of products 
-- that includes Machines, tools, and machine parts used in industrial 
-- or other commercial processes.
fun Machinery : Class ;
fun Machinery_Class : SubClass Machinery (both Device (both DurableGood IndustrialSupply)) ;


fun MadagascarFranc : Ind UnitOfCurrency ;

fun MajorAppliance : Class ;
fun MajorAppliance_Class : SubClass MajorAppliance (both Device DurableGood) ;

-- MajorIndustrialEconomy is an 
-- Attribute used to describe countries with the largest, industrialized, 
-- non_communist economies in the world.
fun MajorIndustrialEconomy : Ind EconomicDevelopmentLevel ;


fun MalawianKwacha : Ind UnitOfCurrency ;

fun MalaysianRinggit : Ind UnitOfCurrency ;

fun MaliFranc : Ind UnitOfCurrency ;

fun MalteseLira : Ind UnitOfCurrency ;

fun Mango : Class ;
fun Mango_Class : SubClass Mango (both GroceryProduce TropicalFruit) ;

fun ManufacturingBasedEconomy : Ind FinancialSectorAttribute ;

-- MarketEconomy is an Attribute that 
-- describes an economy in which market forces, specifically supply and 
-- demand, provide input for privately managed decisions about pricing 
-- and production of goods.
fun MarketEconomy : Ind EconomicSystemAttribute ;


fun MarketSocialism : Ind EconomicSystemAttribute ;

fun MauritanianOuguiya : Ind UnitOfCurrency ;

fun MauritianRupee : Ind UnitOfCurrency ;

fun Meat_AnimalAgriculturalProduct : SubClass Meat AnimalAgriculturalProduct ;

fun Melon : Class ;
fun Melon_Class : SubClass Melon (both Fruit GroceryProduce) ;

fun MetalProduct : Class ;
fun MetalProduct_Class : SubClass MetalProduct DurableGood ;
fun MetallurgyIndustry : Ind IndustryAttribute ;

fun MexicanPeso : Ind UnitOfCurrency ;

fun Milk_DairyProduct : SubClass Milk DairyProduct ;

fun MilletFarming : Ind IndustryAttribute ;

fun MilletGrain : Class ;
fun MilletGrain_Class : SubClass MilletGrain CerealGrain ;
fun Millwork : Ind IndustryAttribute ;

fun MiningExceptOilAndGas : Ind IndustryAttribute ;

fun MiningIndustry : Ind IndustryAttribute ;

-- MixedEconomy is the Attribute 
-- of a country whose economy has elements of more than one pure 
-- economic system, e.g., a market economy with government welfare 
-- for unemployed workers. A mixed_economy country may be a 
-- CountryInTransition, as from a prior communist economy to 
-- capitalism, but a mixed economy may also be a stable combination 
-- of different economic approaches in different areas of a national 
-- economy, e.g., nationally managed health care and education systems 
-- in an otherwise private_enterprise economy.
fun MixedEconomy : Ind EconomicSystemAttribute ;


fun MoldovanLeu : Ind UnitOfCurrency ;

fun MongolianTugrik : Ind UnitOfCurrency ;

fun MoroccanDirham : Ind UnitOfCurrency ;

-- MotorOil is the subclass of PetroleumLubricants 
-- that are used to lubricate motors.
fun MotorOil : Class ;
fun MotorOil_Class : SubClass MotorOil PetroleumLubricant ;

fun MotorVehicleAndMotorVehiclePartsAndSuppliesWholesalers : Ind IndustryAttribute ;

fun MotorVehicleAndPartsDealers : Ind IndustryAttribute ;

fun MotorVehicleBodyAndTrailerManufacturing : Ind IndustryAttribute ;

fun MotorVehicleIndustry : Ind IndustryAttribute ;

fun MotorVehicleManufacturing : Ind IndustryAttribute ;

fun MotorVehiclePartsManufacturing : Ind IndustryAttribute ;

fun MozambiqueMetical : Ind UnitOfCurrency ;

fun MulberryLeaf : Class ;
fun MulberryLeaf_Class : SubClass MulberryLeaf (both Fodder (both Leaf PlantAgriculturalProduct)) ;

fun Mutton : Class ;
fun Mutton_Class : SubClass Mutton Meat ;
fun MyanmarKyat : Ind UnitOfCurrency ;

-- Narcotic is a subclass of addictive 
-- BiologicallyActiveSubstances that have damping effects on the 
-- nervous system and may be fatal in large doses.
fun Narcotic : Class ;
fun Narcotic_Class : SubClass Narcotic ControlledSubstance ;

-- NationalizedIndustryEconomy 
-- is an Attribute describing an economy in which the major industries, 
-- such as energy and transportation, are owned by the national government.
fun NationalizedIndustryEconomy : Ind EconomicSystemAttribute ;


fun NaturalGasDistribution : Ind IndustryAttribute ;

fun NaturalGasIndustry : Ind IndustryAttribute ;

fun NaturalGasLiquidExtraction : Ind IndustryAttribute ;

-- NaturalRubber is the subclass of 
-- PlantAgriculturalProducts made from the sap of plant species 
-- which produce natural polymers.
fun NaturalRubber : Class ;
fun NaturalRubber_Class : SubClass NaturalRubber PlantAgriculturalProduct ;

fun NepaleseRupee : Ind UnitOfCurrency ;

fun NewZealandDollar : Ind UnitOfCurrency ;

-- NewlyIndustrializingEconomy is an Attribute used to describe a 
-- LessDevelopedCountry (LDC) that is undergoing rapid industrial 
-- development. Also called 'newly industrializing economy' (or 
-- 'country').
fun NewlyIndustrializingEconomy : Ind EconomicDevelopmentLevel ;


fun NicaraguanCordoba : Ind UnitOfCurrency ;

fun NickelOre : Class ;
fun NickelOre_Class : SubClass NickelOre (both Mineral MiningProduct) ;

fun NigerFranc : Ind UnitOfCurrency ;

fun NigerianNaira : Ind UnitOfCurrency ;

fun NorfolkIslandPineSeed : Class ;
fun NorfolkIslandPineSeed_Class : SubClass NorfolkIslandPineSeed (both PlantAgriculturalProduct Seed) ;

fun NorthKoreanWon : Ind UnitOfCurrency ;

fun NorwegianKrone : Ind UnitOfCurrency ;

fun NuclearPowerGeneration : Ind PowerGeneration ;

fun Nut : Class ;
fun Nut_Class : SubClass Nut (both PlantAgriculturalProduct ReproductiveBody) ;

fun Nutmeg : Class ;
fun Nutmeg_Class : SubClass Nutmeg Spice ;
fun OatFarming : Ind IndustryAttribute ;

fun OatGrain : Class ;
fun OatGrain_Class : SubClass OatGrain CerealGrain ;
fun OffshoreBankingSectorEconomy : Ind FinancialSectorAttribute ;

fun OffshoreFinancialSectorEconomy : Ind FinancialSectorAttribute ;

fun Oilseed : Class ;
fun Oilseed_Class : SubClass Oilseed (both PlantAgriculturalProduct Seed) ;

-- Okoume (Aucoumea klaineana), also called 
-- 'gaboon', is a wood of West African origin.
fun Okoume : Class ;
fun Okoume_Class : SubClass Okoume Hardwood ;

fun Olive : Class ;
fun Olive_Class : SubClass Olive (both Fruit GroceryProduce) ;

fun OliveOil : Class ;
fun OliveOil_Class : SubClass OliveOil VegetableOil ;
fun OmaniRiyal : Ind UnitOfCurrency ;

fun OpiumPoppy : Class ;
fun OpiumPoppy_Class : SubClass OpiumPoppy (both PlantAgriculturalProduct Poppy) ;

fun OpiumPoppyFarming : Class ;
fun OpiumPoppyFarming_Class : SubClass OpiumPoppyFarming Farming ;
fun Opium_Narcotic : SubClass Opium Narcotic ;

fun Opium_PlantAgriculturalProduct : SubClass Opium PlantAgriculturalProduct ;

fun Orchid : Class ;
fun Orchid_Class : SubClass Orchid (both FloweringPlant PlantAgriculturalProduct) ;

fun OrnamentalFish : Class ;
fun OrnamentalFish_Class : SubClass OrnamentalFish (both AnimalAgriculturalProduct Fish) ;

-- OtherSourcePowerGeneration 
-- represents all non_fossil fuel, non_hydroelectric, and non_nuclear power 
-- generation processes, e.g., wind power generation.
fun OtherSourcePowerGeneration : Ind PowerGeneration ;


-- PPPBasedEconomicValuation 
-- is a class of relations used to state international economic information 
-- in U.S. dollar amounts. The U.S. dollar amounts are derived from Purchasing 
-- Power Parity conversions of economic totals (e.g., GDP) given in local 
-- currency. This contrasts with a method of conversion based on currency 
-- exchange rates. The PPP method is used by the CIA World Fact Book for 
-- the purpose of presenting economic data for all countries covered. Their 
-- basis for PPP dollar price weights is the UN International Comparison Program 
-- (UNICP) and the work of Professors Robert Summers and Alan Heston of the 
-- University of Pennsylvania.
fun PPPBasedEconomicValuation : Class ;


-- PackagedBeverageProduct is the 
-- class of Products that consist of a BeverageProduct in some kind of 
-- packaging, including cups and bottles.
fun PackagedBeverageProduct : Class ;
fun PackagedBeverageProduct_Class : SubClass PackagedBeverageProduct Product ;

-- PackagedFoodProduct is the 
-- class of Products that consist of a FoodProduct in a package.
fun PackagedFoodProduct : Class ;
fun PackagedFoodProduct_Class : SubClass PackagedFoodProduct Product ;

fun PaddyRice : Class ;
fun PaddyRice_Class : SubClass PaddyRice CerealGrass ;
fun PakistaniRupee : Ind UnitOfCurrency ;

fun PalmKernel : Class ;
fun PalmKernel_Class : SubClass PalmKernel PlantAgriculturalProduct ;
fun PalmOil : Class ;
fun PalmOil_Class : SubClass PalmOil VegetableOil ;
fun PalmOilNut : Class ;
fun PalmOilNut_Class : SubClass PalmOilNut (both Nut PlantAgriculturalProduct) ;

fun PanamanianBalboa : Ind UnitOfCurrency ;

fun Papaw : Class ;
fun Papaw_Class : SubClass Papaw (both GroceryProduce TropicalFruit) ;

fun Papaya : Class ;
fun Papaya_Class : SubClass Papaya (both GroceryProduce TropicalFruit) ;

fun PapuanKina : Ind UnitOfCurrency ;

fun ParaguayanGuarani : Ind UnitOfCurrency ;

fun PartialMarketEconomy : Ind EconomicSystemAttribute ;

fun PassionFruit : Class ;
fun PassionFruit_Class : SubClass PassionFruit (both GroceryProduce TropicalFruit) ;

fun Pea_Legume : SubClass Pea Legume ;

fun Peanut : Class ;
fun Peanut_Class : SubClass Peanut (both EdibleNut GroceryProduce) ;

fun Pearl : Class ;
fun Pearl_Class : SubClass Pearl Jewelry ;
fun PecanNut : Class ;
fun PecanNut_Class : SubClass PecanNut EdibleNut ;
-- Pelt is the subclass of AnimalSkin 
-- that comprises the pelts or hides of animals that are used in 
-- the manufacture of wearable or household items.
fun Pelt : Class ;
fun Pelt_Class : SubClass Pelt (both AnimalAgriculturalProduct AnimalSkin) ;


fun PerfumeEssence : Class ;
fun PerfumeEssence_Class : SubClass PerfumeEssence PlantAgriculturalProduct ;
-- PersonalAdornment is the subclass 
-- of WearableItems that are worn primarily for decorative purposes.
fun PersonalAdornment : Class ;
fun PersonalAdornment_Class : SubClass PersonalAdornment WearableItem ;

fun PeruvianInti : Ind UnitOfCurrency ;

-- Petroleum is commonly known as crude 
-- oil. It is a thick, dark brown or greenish flammable liquid, which exists 
-- in the upper strata of some areas of the Earth's crust. It consists of a 
-- complex mixture of various hydrocarbons, largely of the methane series, 
-- but may vary much in appearance, composition, and purity. (from Wikipedia)
-- Crude oil has not be subject to the distillation that will yield a
-- RefinedPetroleumProduct.
fun Petroleum : Class ;
fun Petroleum_Class : SubClass Petroleum PetroleumProduct ;

fun PetroleumBasedEconomy : Ind FinancialSectorAttribute ;

fun PetroleumIndustry : Ind IndustryAttribute ;

-- PetroleumLubricant is the subclass of 
-- RefinedPetroleumProducts that are lubricants.
fun PetroleumLubricant : Class ;
fun PetroleumLubricant_Class : SubClass PetroleumLubricant RefinedPetroleumProduct ;

fun PetroleumProductsManufacturing : Ind IndustryAttribute ;

fun PetroleumRefineries : Ind IndustryAttribute ;

fun PharmaceuticalProduct : Class ;
fun PharmaceuticalProduct_Class : SubClass PharmaceuticalProduct ManufacturedProduct ;
fun PhilippinePeso : Ind UnitOfCurrency ;

fun PhosphoricAcid : Class ;
fun PhosphoricAcid_Class : SubClass PhosphoricAcid CompoundSubstance ;
fun Pineapple : Class ;
fun Pineapple_Class : SubClass Pineapple (both GroceryProduce TropicalFruit) ;

fun PipelineTransportationOfNaturalGas : Ind IndustryAttribute ;

fun Plantain : Class ;
fun Plantain_Class : SubClass Plantain (both GroceryProduce TropicalFruit) ;

fun Plastic : Class ;
fun Plastic_Class : SubClass Plastic ManufacturedProduct ;
fun PolishZloty : Ind UnitOfCurrency ;

fun Poppy : Class ;
fun Poppy_Class : SubClass Poppy FloweringPlant ;
fun PortugueseEscudo : Ind UnitOfCurrency ;

fun PotatoTuber : Class ;
fun PotatoTuber_Class : SubClass PotatoTuber (both EdibleTuber GroceryProduce) ;

-- PowerGeneration is the class of 
-- Processes in which some kind of power is generated either for immediate 
-- use in a Device or to be stored for future use.
fun PowerGeneration : Class ;
fun PowerGeneration_Class : SubClass PowerGeneration Process ;

-- PreciousGemstone is the class of 
-- Minerals and fossilized substances that have great monetary value.
fun PreciousGemstone : Class ;
fun PreciousGemstone_Class : SubClass PreciousGemstone (both Gemstone MiningProduct) ;


fun PrimarySmeltingAndRefiningOfCopper : Ind IndustryAttribute ;

-- PrivateEnterpriseEconomy is 
-- the Attribute used to characterize a country in which private 
-- enterprise is the main source of economic wealth.
fun PrivateEnterpriseEconomy : Ind EconomicSystemAttribute ;


-- PrivatizingEconomy is an 
-- Attribute that describes a country in which formerly government_
-- owned industries are being transferred into private holdings.
fun PrivatizingEconomy : Ind EconomicSystemAttribute ;


-- ProductPackage is the class of objects 
-- designed to contain Products for shipping and sale.
fun ProductPackage : Class ;
fun ProductPackage_Class : SubClass ProductPackage Container ;

fun Pulse : Class ;
fun Pulse_Class : SubClass Pulse Legume ;
-- PureCapitalistEconomy is an 
-- Attribute representing a capitalist economy that has no admixture of 
-- socialism.
fun PureCapitalistEconomy : Ind EconomicSystemAttribute ;


-- PureSocialistEconomy is an 
-- Attribute representing a socialist economy that has no admixture of 
-- capitalism.
fun PureSocialistEconomy : Ind EconomicSystemAttribute ;


-- Pyrethrum is the subclass of 
-- BiologicallyActiveSubstance consisting of insecticidal 
-- derivations from the flower heads of Chrysanthemums.
fun Pyrethrum : Class ;
fun Pyrethrum_Class : SubClass Pyrethrum (both BiologicallyActiveSubstance PlantAgriculturalProduct) ;


fun QatariRiyal : Ind UnitOfCurrency ;

fun Quinine : Class ;
fun Quinine_Class : SubClass Quinine PlantAgriculturalProduct ;
fun ReadyMixConcrete : Class ;
fun ReadyMixConcrete_Class : SubClass ReadyMixConcrete Concrete ;
fun RefrigeratedWarehousingAndStorage : Ind IndustryAttribute ;

fun RefrigerationEquipmentAndSuppliesWholesalers : Ind IndustryAttribute ;

fun RefrigerationEquipmentManufacturing : Ind IndustryAttribute ;

fun RefrigeratorAndFreezerIndustry : Ind IndustryAttribute ;

fun Refrigerator_MajorAppliance : SubClass Refrigerator MajorAppliance ;

fun Reindeer : Class ;
fun Reindeer_Class : SubClass Reindeer (both HoofedMammal Livestock) ;

fun RiceFarming : Ind IndustryAttribute ;

fun RomanianLeu : Ind UnitOfCurrency ;

fun RootStarch : Class ;
fun RootStarch_Class : SubClass RootStarch (both FruitOrVegetable PlantAgriculturalProduct) ;

fun RootVegetable : Class ;
fun RootVegetable_Class : SubClass RootVegetable (both FruitOrVegetable PlantAgriculturalProduct) ;

fun RussianRuble : Ind UnitOfCurrency ;

fun RwandaFranc : Ind UnitOfCurrency ;

fun RyeFarming : Ind IndustryAttribute ;

fun RyeGrain : Class ;
fun RyeGrain_Class : SubClass RyeGrain CerealGrain ;
fun Salmon : Class ;
fun Salmon_Class : SubClass Salmon FoodFish ;
fun SaoThomeEPrincipeDobra : Ind UnitOfCurrency ;

fun SaudiArabianRiyal : Ind UnitOfCurrency ;

fun Seafood : Class ;
fun Seafood_Class : SubClass Seafood Meat ;
fun Seed_FruitOrVegetable : SubClass Seed FruitOrVegetable ;

-- SemipreciousGemstone is the 
-- class of Minerals and other substances that have significant 
-- monetary value, but less than those of the class PreciousGemstone.
fun SemipreciousGemstone : Class ;
fun SemipreciousGemstone_Class : SubClass SemipreciousGemstone (both Gemstone MiningProduct) ;


fun SenegaleseFranc : Ind UnitOfCurrency ;

fun SenepolCattle : Class ;
fun SenepolCattle_Class : SubClass SenepolCattle Cattle ;
fun ServiceBasedEconomy : Ind FinancialSectorAttribute ;

fun ServiceSector : Ind IndustryAttribute ;

fun Sesame : Class ;
fun Sesame_Class : SubClass Sesame PlantAgriculturalProduct ;
fun SeychellesRupee : Ind UnitOfCurrency ;

fun SheaNut : Class ;
fun SheaNut_Class : SubClass SheaNut EdibleNut ;
fun Sheep_Livestock : SubClass Sheep Livestock ;

fun Sheepskin : Class ;
fun Sheepskin_Class : SubClass Sheepskin Pelt ;
fun Shellfish : Class ;
fun Shellfish_Class : SubClass Shellfish Seafood ;
fun Shrimp : Class ;
fun Shrimp_Class : SubClass Shrimp Shellfish ;
fun SierraLeoneLeone : Ind UnitOfCurrency ;

fun SingaporeDollar : Ind UnitOfCurrency ;

fun SisalFiber : Class ;
fun SisalFiber_Class : SubClass SisalFiber PlantAgriculturalProduct ;
fun SlovakianKoruna : Ind UnitOfCurrency ;

-- Soap is a Surfactant Cleaning mixture used for 
-- personal or minor cleaning. It usually comes in solid moulded form. In 
-- the developed world, synthetic detergents have superseded soap as a 
-- laundry aid. Many soaps are mixtures of sodium or potassium salts of 
-- fatty acids which can be derived from oils or fats by reacting them with 
-- an alkali (such as sodium or potassium hydroxide) at 80_100 degrees Celsius in a 
-- process known as saponification. (from Wikipedia)
fun Soap : Class ;
fun Soap_Class : SubClass Soap Surfactant ;

-- SocialistEconomy is the Attribute 
-- used to characterize a country in which there is government ownership 
-- or direction of the means of production and distribution.
fun SocialistEconomy : Ind EconomicSystemAttribute ;


fun SomalianShilling : Ind UnitOfCurrency ;

fun Sorghum : Class ;
fun Sorghum_Class : SubClass Sorghum CerealGrass ;
fun SorghumFarming : Ind IndustryAttribute ;

fun SorghumGrain : Class ;
fun SorghumGrain_Class : SubClass SorghumGrain CerealGrain ;
fun SouthAfricanRand : Ind UnitOfCurrency ;

fun SouthKoreanWon : Ind UnitOfCurrency ;

fun Soya : Class ;
fun Soya_Class : SubClass Soya PlantAgriculturalProduct ;
fun Soybean : Class ;
fun Soybean_Class : SubClass Soybean Bean ;
fun SpanishPeseta : Ind UnitOfCurrency ;

fun Spice : Class ;
fun Spice_Class : SubClass Spice (both FruitOrVegetable PlantAgriculturalProduct) ;

fun SpicePepper : Class ;
fun SpicePepper_Class : SubClass SpicePepper Spice ;
fun Squash : Class ;
fun Squash_Class : SubClass Squash (both GroceryProduce Vegetable) ;

fun SriLankanRupee : Ind UnitOfCurrency ;

fun SteelForging : Ind IndustryAttribute ;

fun SteelFoundriesExceptInvestment : Ind IndustryAttribute ;

fun SteelIndustry : Ind IndustryAttribute ;

fun SteelInvestmentFoundries : Ind IndustryAttribute ;

fun SteelMills : Ind IndustryAttribute ;

fun SteelProductManufacturingFromPurchasedSteel : Ind IndustryAttribute ;

fun Steel_MetalProduct : SubClass Steel MetalProduct ;

fun SubsistenceAgricultureEconomy : Ind FinancialSectorAttribute ;

fun SudanesePound : Ind UnitOfCurrency ;

fun SugarBeet : Class ;
fun SugarBeet_Class : SubClass SugarBeet Vegetable ;
fun SugarCane : Class ;
fun SugarCane_Class : SubClass SugarCane (both GroceryProduce Vegetable) ;

fun Sugar_PlantAgriculturalProduct : SubClass Sugar PlantAgriculturalProduct ;

fun Sugar_Substance : SubClass Sugar Substance ;

fun Sunflower : Class ;
fun Sunflower_Class : SubClass Sunflower (both FloweringPlant PlantAgriculturalProduct) ;

fun SunflowerSeed : Class ;
fun SunflowerSeed_Class : SubClass SunflowerSeed (both PlantAgriculturalProduct Seed) ;

fun SupportActivitiesForMetalMining : Ind IndustryAttribute ;

fun SupportActivitiesForNonmetallicMineralsExceptFuels : Ind IndustryAttribute ;

fun SupportActivitiesForOilOperations : Ind IndustryAttribute ;

fun SurinameseGuilder : Ind UnitOfCurrency ;

fun SwazilandLilangeni : Ind UnitOfCurrency ;

fun SwedishKrona : Ind UnitOfCurrency ;

fun SweetPepper : Class ;
fun SweetPepper_Class : SubClass SweetPepper (both GroceryProduce Vegetable) ;

fun SweetPotatoTuber : Class ;
fun SweetPotatoTuber_Class : SubClass SweetPotatoTuber (both EdibleTuber GroceryProduce) ;

fun SwissFranc : Ind UnitOfCurrency ;

fun SyrianPound : Ind UnitOfCurrency ;

fun TaiwanDollar : Ind UnitOfCurrency ;

fun TajikSomoni : Ind UnitOfCurrency ;

fun TajikSomoniCoin : Class ;
fun TajikSomoniCoin_Class : SubClass TajikSomoniCoin CurrencyCoin ;
fun TajikistaniRuble : Ind UnitOfCurrency ;

fun TanzanianShilling : Ind UnitOfCurrency ;

fun TaroTuber : Class ;
fun TaroTuber_Class : SubClass TaroTuber (both EdibleTuber GroceryProduce) ;

fun TaxHavenEconomy : Ind FinancialSectorAttribute ;

fun TeaLeaf : Class ;
fun TeaLeaf_Class : SubClass TeaLeaf TeaPlantAerialPart ;
-- TeaPlantAerialPart is the 
-- class of all parts of the tea plant from which tea may be made, 
-- including leaves, stems, and twigs.
fun TeaPlantAerialPart : Class ;
fun TeaPlantAerialPart_Class : SubClass TeaPlantAerialPart FruitOrVegetable ;

fun TextileIndustry : Ind IndustryAttribute ;

fun TextileMills : Ind IndustryAttribute ;

fun TextileProduct : Class ;
fun TextileProduct_Class : SubClass TextileProduct (both Artifact ManufacturedProduct) ;

fun TextileProductMills : Ind IndustryAttribute ;

fun ThaiBaht : Ind UnitOfCurrency ;

-- Timber is wood from trees that is 
-- suitable for use for building or other human purposes.
fun Timber : Class ;
fun Timber_Class : SubClass Timber (both CompoundSubstance ForestProduct) ;


fun Tobacco_PlantAgriculturalProduct : SubClass Tobacco PlantAgriculturalProduct ;

fun TogoFranc : Ind UnitOfCurrency ;

fun Tomato : Class ;
fun Tomato_Class : SubClass Tomato (both Fruit GroceryProduce) ;

fun TonganPaanga : Ind UnitOfCurrency ;

fun TourismBasedEconomy : Ind FinancialSectorAttribute ;

-- TourismIndustry is an Attribute that 
-- describes organizations that provide services or products for travellers 
-- who stay temporarily in a region to experience local attractions. There 
-- is an overlap between TourismIndustry and each of the following 
-- industries: TravelArrangementAndReservationServices, 
-- TravelerAccommodation, MuseumsHistoricalSitesAndSimilarInstitutions, 
-- AmusementGamblingAndRecreationIndustries, and
-- ArtsEntertainmentAndRecreation.
fun TourismIndustry : Ind IndustryAttribute ;


fun TradeBasedEconomy : Ind FinancialSectorAttribute ;

fun TrinidadAndTobagoDollar : Ind UnitOfCurrency ;

fun TropicalFruit : Class ;
fun TropicalFruit_Class : SubClass TropicalFruit (both Fruit GroceryProduce) ;

fun TunisianDinar : Ind UnitOfCurrency ;

fun TurkeyBird : Class ;
fun TurkeyBird_Class : SubClass TurkeyBird Poultry ;
fun TurkeyMeat : Class ;
fun TurkeyMeat_Class : SubClass TurkeyMeat Meat ;
fun TurkishLira : Ind UnitOfCurrency ;

fun TurkmenManat : Ind UnitOfCurrency ;

fun Turnip : Class ;
fun Turnip_Class : SubClass Turnip (both GroceryProduce RootVegetable) ;

fun Turtle : Class ;
fun Turtle_Class : SubClass Turtle (both Livestock Reptile) ;

fun TuvaluDollar : Ind UnitOfCurrency ;

fun TwoTierLaborMarketEconomy : Ind FinancialSectorAttribute ;

-- UNEconomicDevelopmentLevel 
-- is a subclass of EconomicDevelopmentLevel containing terms used to 
-- represent economic development classifications used by UnitedNations 
-- agencies. The top level of this classification scheme includes the 
-- concepts of DevelopedCountry, FormerSovietOrEasternEuropeanCountry, 
-- and LessDevelopedCountry.
fun UNEconomicDevelopmentLevel : Class ;
fun UNEconomicDevelopmentLevel_Class : SubClass UNEconomicDevelopmentLevel EconomicDevelopmentLevel ;

fun UgandanShilling : Ind UnitOfCurrency ;

fun UkranianHryvnia : Ind UnitOfCurrency ;

-- UnderdevelopedCountry is an 
-- Attribute describing less developed countries that have potential 
-- for above_average economic growth. See also LessDevelopedCountry.
fun UnderdevelopedCountry : Ind EconomicDevelopmentLevel ;


fun UnitedArabEmirateDirham : Ind UnitOfCurrency ;

fun UnitedStatesCentCoin : Class ;
fun UnitedStatesCentCoin_Class : SubClass UnitedStatesCentCoin CurrencyCoin ;
fun UnitedStatesDollarBill : Class ;
fun UnitedStatesDollarBill_Class : SubClass UnitedStatesDollarBill CurrencyBill ;
fun UnitedStatesFiveCentCoin : Class ;
fun UnitedStatesFiveCentCoin_Class : SubClass UnitedStatesFiveCentCoin CurrencyCoin ;
fun UnitedStatesQuarterCoin : Class ;
fun UnitedStatesQuarterCoin_Class : SubClass UnitedStatesQuarterCoin CurrencyCoin ;
fun UnitedStatesTenCentCoin : Class ;
fun UnitedStatesTenCentCoin_Class : SubClass UnitedStatesTenCentCoin CurrencyCoin ;
-- LowerMiddleIncomeCountry is an Attribute representing the World Bank 
-- classification for any country where the per capita GNI is 
-- between 2,996 and 9,266 (inclusive) in UnitedStatesDollars.
fun UpperMiddleIncomeCountry : Ind WorldBankGNIPerCapitaLevel ;


fun UruguayanPeso : Ind UnitOfCurrency ;

fun UzbekistaniSom : Ind UnitOfCurrency ;

fun Vanilla : Class ;
fun Vanilla_Class : SubClass Vanilla Spice ;
fun Veal : Class ;
fun Veal_Class : SubClass Veal Meat ;
fun Vegetable : Class ;
fun Vegetable_Class : SubClass Vegetable FruitOrVegetable ;
fun VegetableFarming : Ind IndustryAttribute ;

fun VegetableOil : Class ;
fun VegetableOil_Class : SubClass VegetableOil PlantAgriculturalProduct ;
fun VegetableOilIndustry : Ind IndustryAttribute ;

fun VenezuelanBolivar : Ind UnitOfCurrency ;

fun VietnameseDong : Ind UnitOfCurrency ;

fun Walnut : Class ;
fun Walnut_Class : SubClass Walnut EdibleNut ;
fun WaterBuffalo : Class ;
fun WaterBuffalo_Class : SubClass WaterBuffalo (both HoofedMammal Livestock) ;

fun WaterBuffaloMeat : Class ;
fun WaterBuffaloMeat_Class : SubClass WaterBuffaloMeat Meat ;
fun Watermelon : Class ;
fun Watermelon_Class : SubClass Watermelon Melon ;
-- WelfareCapitalism is an Attribute 
-- describing an economy in which the government provides economic subsidies 
-- to unemployed or disabled individuals.
fun WelfareCapitalism : Ind EconomicSystemAttribute ;


fun WesternSamoaNtala : Ind UnitOfCurrency ;

fun WheatFarming : Ind IndustryAttribute ;

fun WineGrape : Class ;
fun WineGrape_Class : SubClass WineGrape PlantAgriculturalProduct ;
fun Wine_Beverage : SubClass Wine Beverage ;

fun Wine_PlantAgriculturalProduct : SubClass Wine PlantAgriculturalProduct ;

fun WoodProduct : Class ;
fun WoodProduct_Class : SubClass WoodProduct ForestProduct ;
fun WoodProductManufacturing : Ind IndustryAttribute ;

fun WoolFiber : Class ;
fun WoolFiber_Class : SubClass WoolFiber AnimalAgriculturalProduct ;
-- WorldBankGNIPerCapitaLevel 
-- is the subclass of EconomicDevelopmentLevel containing attributes 
-- that characterize countries according to their per capita gross national 
-- income (GNI), as determined by the WorldBankGroup. The World Bank 
-- uses the Atlas method for making cross_country comparisons of national 
-- income.
fun WorldBankGNIPerCapitaLevel : Class ;
fun WorldBankGNIPerCapitaLevel_Class : SubClass WorldBankGNIPerCapitaLevel EconomicDevelopmentLevel ;

fun YamTuber : Class ;
fun YamTuber_Class : SubClass YamTuber (both EdibleTuber GroceryProduce) ;

fun YemeniRial : Ind UnitOfCurrency ;

fun YlangYlang : Class ;
fun YlangYlang_Class : SubClass YlangYlang PerfumeEssence ;
fun Yugoslavia : Ind Nation ;

fun YugoslavianDinar : Ind UnitOfCurrency ;

fun ZaireSezaire : Ind UnitOfCurrency ;

fun ZambianKwacha : Ind UnitOfCurrency ;

fun ZimbabweanDollar : Ind UnitOfCurrency ;

fun ZincIndustry : Ind IndustryAttribute ;

fun ZincManufacturing : Ind IndustryAttribute ;

fun ZincOre : Class ;
fun ZincOre_Class : SubClass ZincOre (both Mineral MiningProduct) ;

fun ZincOreMining : Ind IndustryAttribute ;

fun ZincProduct : Class ;
fun ZincProduct_Class : SubClass ZincProduct (both ManufacturedProduct MetalProduct) ;

-- (agriculturalProductType ?AREA ?TYPE) means that the 
-- GeopoliticalArea ?AREA produces a crop or other 
-- agricultural product of ?TYPE.
fun agriculturalProductType: El GeopoliticalArea -> Desc Object -> Formula ;


-- (agriculturalProductTypeByRank ?AREA ?TYPE ?NTH) means that the 
-- GeopoliticalArea ?AREA produces a crop or other 
-- agricultural product of ?TYPE, which is its ?NTH most important 
-- crop.
fun agriculturalProductTypeByRank: El GeopoliticalArea -> Desc Object -> Desc PositiveInteger -> Formula ;


-- (annualElectricityConsumption ?AREA ?AMOUNT) means that the 
-- GeopoliticalArea ?AREA uses ?AMOUNT of electricity (measured in 
-- KilowattHours) annually.
fun annualElectricityConsumption : El GeopoliticalArea -> El PhysicalQuantity -> Formula ;


-- (annualElectricityExport ?AREA ?AMOUNT) means that the 
-- GeopoliticalArea ?AREA exported the total ?AMOUNT of 
-- electricity (measured in KilowattHours) annually.
fun annualElectricityExport : El GeopoliticalArea -> El PhysicalQuantity -> Formula ;


-- (annualElectricityImport ?AREA ?AMOUNT) means that the 
-- GeopoliticalArea ?AREA imported the total ?AMOUNT of 
-- electricity (measured in KilowattHours) annually.
fun annualElectricityImport : El GeopoliticalArea -> El PhysicalQuantity -> Formula ;


-- (annualElectricityProduction ?AREA ?AMOUNT) means that the amount of 
-- electricity generated annually in the GeographicalArea ?AREA is 
-- ?AMOUNT, measured in KilowattHours.
fun annualElectricityProduction : El GeopoliticalArea -> El PhysicalQuantity -> Formula ;


-- (annualExpendituresOfArea ?AREA ?AMOUNT) means that the annual 
-- budgetary expenditures of the GeopoliticalArea ?AREA are ?AMOUNT, 
-- calculated in U.S. dollars according to the currency exchange rate 
-- method.
fun annualExpendituresOfArea : El GeopoliticalArea -> El CurrencyMeasure -> Formula ;


-- (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) means that 
-- the annual budgetary expenditures of the GeopoliticalArea ?AREA are 
-- ?AMOUNT for the annual TimeInterval indicated by ?PERIOD, calculated 
-- in U.S. dollars according to the currency exchange rate method.
fun annualExpendituresOfAreaInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ;


-- (annualExportTotal ?AREA ?AMOUNT) means that the total 
-- value of exports from the GeopoliticalArea ?AREA is ?AMOUNT 
-- (in UnitedStatesDollars) annually. Export value is calculated 
-- on a Free on Board (F.O.B.) basis.
fun annualExportTotal : El GeopoliticalArea -> El CurrencyMeasure -> Formula ;


-- (annualImportTotal ?AREA ?AMOUNT) means that the total 
-- value of imports to the GeopoliticalArea ?AREA is ?AMOUNT (in 
-- UnitedStatesDollars) annually. Import value is calculated on a Cost, 
-- Insurance, and Freight (C.I.F.) or a Free on Board (F.O.B.) basis.
fun annualImportTotal : El GeopoliticalArea -> El CurrencyMeasure -> Formula ;


-- (annualRevenuesOfArea ?AREA ?AMOUNT) means that the annual budgetary 
-- revenues of the GeopoliticalArea ?AREA are ?AMOUNT, calculated in U.S. 
-- dollars according to the currency exchange rate method.
fun annualRevenuesOfArea : El GeopoliticalArea -> El CurrencyMeasure -> Formula ;


-- (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) means that the 
-- annual budgetary revenues of the GeopoliticalArea ?AREA are ?AMOUNT 
-- for the annual TimeInterval indicated by ?PERIOD, calculated in U.S. 
-- dollars according to the currency exchange rate method.
fun annualRevenuesOfAreaInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ;


-- (capitalExpendituresOfArea ?AREA ?AMOUNT) means that the annual 
-- capital expenditures of the GeopoliticalArea ?AREA are ?AMOUNT, 
-- calculated in U.S. dollars according to the currency exchange rate 
-- method. This figure is a portion of the annualExpendituresOfArea 
-- for ?AREA.
fun capitalExpendituresOfArea : El GeopoliticalArea -> El CurrencyMeasure -> Formula ;


-- (capitalExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) means that 
-- the annual capital expenditures of the GeopoliticalArea ?AREA are 
-- ?AMOUNT for the annual TimeInterval indicated by ?PERIOD, calculated in 
-- U.S. dollars according to the currency exchange rate method. This figure 
-- is a portion of the annualExpendituresOfArea for ?AREA in ?PERIOD.
fun capitalExpendituresOfAreaInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ;


-- (currencyCode ?CODE ?UNIT) means 
-- that ?CODE is the InternationalOrganizationForStandardization 
-- (ISO) 4217 alphabetic currency code for the national 
-- CurrencyMeasure ?UNIT.
fun currencyCode : El SymbolicString -> El UnitOfCurrency -> Formula ;


-- (currencyExchangePerUSDollar ?AMOUNT ?PERIOD) means that one 
-- UnitedStatesDollar is worth ?AMOUNT (in a non_U.S. CurrencyMeasure), 
-- during the TimeInterval indicated by ?PERIOD. The rate of exchange may 
-- be based either on international market forces or official fiat.
fun currencyExchangePerUSDollar: El CurrencyMeasure -> Desc TimeInterval -> Formula ;


-- (currencyExchangeRate ?UNIT ?AMOUNT) means that the currency 
-- denomination ?UNIT is worth ?AMOUNT (which is in another 
-- CurrencyMeasure).
fun currencyExchangeRate : El UnitOfCurrency -> El CurrencyMeasure -> Formula ;


-- (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD) means that the 
-- currency denomination ?UNIT is worth ?AMOUNT (which is expressed in another 
-- UnitOfCurrency) during the TimeInterval indicated by ?PERIOD.
fun currencyExchangeRateInPeriod: El UnitOfCurrency -> El CurrencyMeasure -> Desc TimeInterval -> Formula ;


-- (currencyType ?AREA ?UNIT) means 
-- that the official currency used in the GeopoliticalArea ?AREA 
-- is the UnitOfMeasure ?UNIT.
fun currencyType : El GeopoliticalArea -> El UnitOfCurrency -> Formula ;


-- The currencyValue is a relation between
-- a physical instrument of currency, such as a bill or coin, and the
-- measure of its worth in a particular currency.
fun currencyValue: Desc Currency -> El CurrencyMeasure -> Formula ;


-- (economicAidDonated ?AGENT ?AMOUNT) means that the GeopoliticalArea 
-- ?AREA donated ?AMOUNT of aid (valued in U.S. dollars) to developing 
-- countries and multilateral organizations. This figure covers 'net 
-- official development assistance' (ODA), which is net financial assistance 
-- from nations belonging to the 
-- OrganizationForEconomicCooperationAndDevelopment (OECD), with the main 
-- goal of promoting economic development and welfare. Such aid contains a 
-- grant element of at least 25%. This statistic does not cover private 
-- flows of assistance or other official flows (OOF).
fun economicAidDonated : El GeopoliticalArea -> El CurrencyMeasure -> Formula ;


-- (economicAidDonatedInPeriod ?AGENT ?AMOUNT ?PERIOD) means that the 
-- GeopoliticalArea ?AGENT donated ?AMOUNT of aid (valued in U.S. dollars) 
-- to developing countries and multilateral organizations during the 
-- TimeInterval indicated by ?PERIOD. This figure covers 'net official 
-- development assistance' (ODA), which is net financial assistance from 
-- nations belonging to the 
-- OrganizationForEconomicCooperationAndDevelopment (OECD), with the main 
-- goal of promoting economic development and welfare. Such aid contains a 
-- grant element of at least 25%. This statistic does not cover private 
-- flows of assistance or other official flows (OOF).
fun economicAidDonatedInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ;


-- (economicAidReceivedNet ?AREA ?AMOUNT) means that the 
-- GeopoliticalArea ?AREA had a net inflow of Official Development Finance 
-- (ODF) of ?AMOUNT. ODF includes funds from the World Bank, the IMF, other 
-- international organizations, and individual donor nations, including both 
-- grants and loans. The figure includes formal commitments of aid not yet 
-- disbursed. The figure is the net amount of inflow after deducting 
-- repayments, valued in U.S. dollars.
fun economicAidReceivedNet : El GeopoliticalArea -> El CurrencyMeasure -> Formula ;


-- (economicAidReceivedNetInPeriod ?AREA ?AMOUNT ?PERIOD) means that the 
-- GeopoliticalArea ?AREA had a net inflow of Official Development Finance 
-- (ODF) of ?AMOUNT during the TimeInterval indicated by ?PERIOD. ODF 
-- includes funds from the World Bank, the IMF, other international 
-- organizations, and individual donor nations, including both grants and 
-- loans. The figure includes formal commitments of aid not yet disbursed. 
-- The figure is the net amount of inflow after deducting repayments, 
-- valued in U.S. dollars.
fun economicAidReceivedNetInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ;


-- (economyType ?POLITY ?TYPE) means that the 
-- GeopoliticalArea ?POLITY has an economic system of TYPE.
fun economyType : El Agent -> El EconomicAttribute -> Formula ;


-- (electricityConsumptionInPeriod ?AREA ?AMOUNT ?YEAR) means that 
-- the GeopoliticalArea ?AREA used ?AMOUNT of electricity (measured in 
-- KilowattHours) during the TimeInterval indicated by ?YEAR.
fun electricityConsumptionInPeriod: El GeopoliticalArea -> El PhysicalQuantity -> Desc TimeInterval -> Formula ;


-- (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD) means that 
-- the GeopoliticalArea ?AREA exported the total ?AMOUNT of electricity 
-- (measured in KilowattHours) during the TimeInterval indicated 
-- by ?PERIOD.
fun electricityExportInPeriod: El GeopoliticalArea -> El PhysicalQuantity -> Desc TimeInterval -> Formula ;


-- (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION) means that in 
-- the GeopoliticalArea ?AREA, ?SOURCE provides ?FRACTION of the total 
-- electricity production.
fun electricityFractionFromSource: El GeopoliticalArea -> Desc PowerGeneration -> El RealNumber -> Formula ;


-- (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) 
-- means that in the GeopoliticalArea ?AREA, ?SOURCE provides ?FRACTION 
-- of the total electricity production during the TimeInterval indicated 
-- by ?PERIOD.
fun electricityFractionFromSourceInPeriod: El GeopoliticalArea -> Desc PowerGeneration -> El RealNumber -> Desc TimeInterval -> Formula ;


-- (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD) means that 
-- the GeopoliticalArea ?AREA imported the total ?AMOUNT of electricity 
-- (measured in KilowattHours) during the TimeInterval indicated 
-- by ?PERIOD.
fun electricityImportInPeriod: El GeopoliticalArea -> El PhysicalQuantity -> Desc TimeInterval -> Formula ;


-- (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD) means that the 
-- GeopoliticalArea ?AREA generates ?AMOUNT of electricity, measured in 
-- KilowattHours, during the TimeInterval indicated by ?PERIOD.
fun electricityProductionInPeriod: El GeopoliticalArea -> El PhysicalQuantity -> Desc TimeInterval -> Formula ;


-- (exportCommodityType ?AREA ?TYPE) means that the GeopoliticalArea 
-- ?AREA exports the commodity ?TYPE.
fun exportCommodityType: El GeopoliticalArea -> Desc Object -> Formula ;


-- (exportCommodityTypeByRank ?AREA ?TYPE ?NTH) means that the 
-- GeopoliticalArea ?AREA has the commodity ?TYPE as its ?NTH 
-- most valuable export.
fun exportCommodityTypeByRank: El GeopoliticalArea -> Desc Object -> El PositiveInteger -> Formula ;


-- (exportPartner ?AGENT1 ?AGENT2) 
-- means that the Agent ?AGENT1 exports goods to the Agent 
-- ?AGENT2.
fun exportPartner : El Agent -> El Agent -> Formula ;


-- (exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION) means that 
-- the GeopoliticalArea ?AREA1 exports goods to GeopoliticalArea 
-- ?AREA2 and receives ?FRACTION of the exportTotalInPeriod of ?AREA1, 
-- based on U.S. dollar value of exports.
fun exportPartnerByFraction : El GeopoliticalArea -> El GeopoliticalArea -> El PositiveRealNumber -> Formula ;


-- (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) means 
-- that the GeopoliticalArea ?AREA1 exports goods to GeopoliticalArea 
-- ?AREA2 and receives ?FRACTION of the exportTotalInPeriod of ?AREA1 
-- in the TimeInterval ?PERIOD, based on U.S. dollar value of exports.
fun exportPartnerByFractionInPeriod: El GeopoliticalArea -> El GeopoliticalArea -> El PositiveRealNumber -> Desc TimeInterval -> Formula ;


-- (exportPartnerByRank ?AREA1 ?AREA2 ?NTH) means that 
-- the GeopoliticalArea ?AREA1 exports goods to GeopoliticalArea 
-- ?AREA2 and is the ?NTH most important export partner of ?AREA1, 
-- based on U.S. dollar value of exports.
fun exportPartnerByRank : El GeopoliticalArea -> El GeopoliticalArea -> El PositiveInteger -> Formula ;


-- (exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) means that 
-- the GeopoliticalArea ?AREA1 exports goods to GeopoliticalArea 
-- ?AREA2 and is the ?NTH most important export partner of ?AREA1, 
-- in the TimeInterval ?PERIOD, based on U.S. dollar value of exports.
fun exportPartnerByRankInPeriod: El GeopoliticalArea -> El GeopoliticalArea -> El PositiveInteger -> Desc TimeInterval -> Formula ;


-- (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) means that the Agent 
-- ?AGENT1 exports goods to the Agent ?AGENT2 during the TimeInterval 
-- indicated by ?PERIOD.
fun exportPartnerInPeriod: El Agent -> El Agent -> Desc TimeInterval -> Formula ;


-- (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD) means that the 
-- total value of exports from the GeopoliticalArea ?AREA is ?AMOUNT 
-- (in UnitedStatesDollars) for the TimeInterval indicated by ?PERIOD. 
-- Export value is calculated on a Free on Board (F.O.B.) basis.
fun exportTotalInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ;


-- (externalDebt ?COUNTRY ?AMOUNT) means 
-- that the GeopoliticalArea ?COUNTRY owes the total sum ?AMOUNT of debt 
-- (public and private) to nonresidents. The amount is valued in U.S. 
-- dollars but may be repayable in foreign currency, goods, or services.
fun externalDebt : El GeopoliticalArea -> El CurrencyMeasure -> Formula ;


-- (externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD) means that the 
-- GeopoliticalArea ?COUNTRY owes the total sum ?AMOUNT of debt (public 
-- and private) to nonresidents during the TimeInterval indicated by 
-- ?PERIOD. The amount is valued in U.S. dollars but may be repayable in 
-- foreign currency, goods, or services.
fun externalDebtInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ;


-- The predicate fiscalYearPeriod 
-- indicates the period that an Agent or Organization uses as its 
-- 12_month accounting period. (fiscalYearPeriod ?AGENT Year) means 
-- that ?AGENT observes its 12_month accounting period during the 
-- regular calendar year (CY), from January to December. For 
-- fiscal years with other beginning and ending months (FYs), use 
-- (fiscalYearPeriod ?AGENT (RecurrentTimeIntervalFn ?STARTMONTH ?ENDMONTH)). 
-- For example, (fiscalYearPeriod (GovernmentFn UnitedStates) 
-- (RecurrentTimeIntervalFn October September)). For FYs that begin 
-- or end mid_month, days may be specified within RecurrentTimeIntervalFn.
fun fiscalYearPeriod: El Agent -> Desc TimeInterval -> Formula ;


-- (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION) means that 
-- in the GeopoliticalArea ?AREA, the highest decile (90_100%) of 
-- households with respect to household income (or consumption) had 
-- ?FRACTION amount of the total household income (or consumption). 
-- Data from different countries may not be directly comparable due to 
-- variation in the basis of the data (e.g., based on income versus 
-- based on consumption).
fun highestDecileShareOfHouseholdIncome : El GeopoliticalArea -> El RealNumber -> Formula ;


-- (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD) 
-- means that in the GeopoliticalArea ?AREA, the highest decile (90_100%) 
-- of households with respect to household income (or consumption) had 
-- ?FRACTION amount of the total household income (or consumption), during 
-- the TimeInterval indicated by ?PERIOD. Data from different countries 
-- may not be directly comparable due to variation in the basis of the data 
-- (e.g., based on household income versus based on household consumption).
fun highestDecileShareOfHouseholdIncomeInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ;


-- (importCommodityType ?AREA ?TYPE) means that the GeopoliticalArea 
-- ?AREA imports the commodity ?TYPE.
fun importCommodityType: El GeopoliticalArea -> Desc Object -> Formula ;


-- (importCommodityTypeByRank ?AREA ?TYPE ?NTH) means that the 
-- GeopoliticalArea ?AREA has the commodity ?TYPE as its ?NTH 
-- most valuable import.
fun importCommodityTypeByRank: El GeopoliticalArea -> Desc Object -> El PositiveInteger -> Formula ;


-- (importPartner ?AGENT1 ?AGENT2) means 
-- that the Agent ?AGENT1 imports goods from the Agent ?AGENT2.
fun importPartner : El Agent -> El Agent -> Formula ;


-- (importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION) means that 
-- the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea 
-- ?AREA2 and provides ?FRACTION of the importTotalInPeriod of ?AREA1, 
-- based on U.S. dollar value of imports.
fun importPartnerByFraction : El GeopoliticalArea -> El GeopoliticalArea -> El PositiveRealNumber -> Formula ;


-- (importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) means 
-- that the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea 
-- ?AREA2 and provides ?FRACTION of the importTotalInPeriod of ?AREA1 
-- during the TimeInterval ?PERIOD, in U.S. dollar value of imports.
fun importPartnerByFractionInPeriod: El GeopoliticalArea -> El GeopoliticalArea -> El PositiveRealNumber -> Desc TimeInterval -> Formula ;


-- (importPartnerByRank ?AREA1 ?AREA2 ?NTH) means that 
-- the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea 
-- ?AREA2 is the ?NTH most important import partner of ?AREA1, based on 
-- U.S. dollar value of imports.
fun importPartnerByRank : El GeopoliticalArea -> El GeopoliticalArea -> El PositiveInteger -> Formula ;


-- (importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) means that 
-- the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea 
-- ?AREA2 is the ?NTH most important import partner of ?AREA1 during 
-- the TimeInterval ?PERIOD, based on U.S. dollar value of imports.
fun importPartnerByRankInPeriod: El GeopoliticalArea -> El GeopoliticalArea -> El PositiveInteger -> Desc TimeInterval -> Formula ;


-- (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) means that the Agent 
-- ?AGENT1 imports goods from the Agent ?AGENT2 during the TimeInterval 
-- indicated by ?PERIOD.
fun importPartnerInPeriod: El Agent -> El Agent -> Desc TimeInterval -> Formula ;


-- (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD) means that the 
-- total value of imports to the GeopoliticalArea ?AREA is ?AMOUNT 
-- (in UnitedStatesDollars) for the TimeInterval indicated by ?PERIOD. 
-- Import value is calculated on a Cost, Insurance, and Freight (C.I.F.) 
-- or a Free on Board (F.O.B.) basis.
fun importTotalInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ;


-- (incomeDistributionByGiniIndex ?AREA ?INDEX) means that in the 
-- GeopoliticalArea ?AREA, the distribution of family income is ?INDEX, 
-- as measured by the Gini index for family income distribution.
fun incomeDistributionByGiniIndex : El GeopoliticalArea -> El NonnegativeRealNumber -> Formula ;


-- (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD) means that 
-- in the GeopoliticalArea ?AREA, the distribution of family income is 
-- ?INDEX, as measured by the Gini index, during the TimeInterval indicated 
-- by ?PERIOD.
fun incomeDistributionByGiniIndexInPeriod: El GeopoliticalArea -> El NonnegativeRealNumber -> Desc TimeInterval -> Formula ;


-- (industrialProductionGrowthRate ?AREA ?RATE) means that in 
-- the GeopoliticalArea ?AREA, the annual percentage increase in 
-- industrial production is ?RATE.
fun industrialProductionGrowthRate : El GeopoliticalArea -> El RealNumber -> Formula ;


-- (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD) means 
-- that in the GeopoliticalArea ?AREA, the annual percentage increase in 
-- industrial production is ?RATE, for the TimeInterval ?PERIOD.
fun industrialProductionGrowthRateInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ;


-- (industryOfArea ?AREA ?SECTOR) 
-- means that the GeopoliticalArea ?AREA produces goods or services 
-- in the economic area ?SECTOR.
fun industryOfArea : El GeopoliticalArea -> El IndustryAttribute -> Formula ;


-- (industryProductType ?INDUSTRY ?TYPE) means that organizations with 
-- the IndustryAttribute ?INDUSTRY produce products of the kind ?TYPE.
fun industryProductType: El IndustryAttribute -> Desc Object -> Formula ;


-- (industryRankByOutput ?AREA ?SECTOR ?NTH) means that in the 
-- GeopoliticalArea ?AREA, the economic area ?SECTOR is ?NTH with 
-- respect to the value of its annual output.
fun industryRankByOutput : El GeopoliticalArea -> El IndustryAttribute -> El PositiveInteger -> Formula ;


-- (industryServiceType ?INDUSTRY ?TYPE) means that organizations with 
-- the IndustryAttribute ?INDUSTRY provide services of the kind ?TYPE.
fun industryServiceType: El IndustryAttribute -> Desc IntentionalProcess -> Formula ;


-- (inflationRateOfConsumerPrices ?AREA ?FRACTION) means that in the 
-- GeopoliticalArea ?AREA, the annual change in consumer prices was 
-- ?FRACTION, compared with prices from the previous year.
fun inflationRateOfConsumerPrices : El GeopoliticalArea -> El RealNumber -> Formula ;


-- (inflationRateOfConsumerPricesInPeriod ?AREA ?FRACTION ?PERIOD) means 
-- that in the GeopoliticalArea ?AREA, the annual change in consumer 
-- prices was ?FRACTION, for the TimeInterval indicated by ?PERIOD, 
-- compared with prices from the prior period.
fun inflationRateOfConsumerPricesInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ;


-- (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION) 
-- means that in the GeopoliticalArea ?AREA, workers in the job area 
-- ?SECTOR make up ?FRACTION of the labor force. The unemployed are not 
-- included in these figures. Occupation may be indicated by an 
-- OccupationalRole or an IndustryAttribute.
fun laborForceFractionByOccupation : El GeopoliticalArea -> El Attribute -> El RealNumber -> Formula ;


-- (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) 
-- means that in the GeopoliticalArea ?AREA, workers in the job area 
-- ?SECTOR make up ?FRACTION of the labor force, during the TimeInterval 
-- indicated by ?PERIOD. The unemployed are not included in these figures. 
-- Occupation may be indicated by an OccupationalRole or an 
-- IndustryAttribute.
fun laborForceFractionByOccupationInPeriod: El GeopoliticalArea -> El Attribute -> El RealNumber -> Desc TimeInterval -> Formula ;


-- (laborForceTotal ?AREA ?AMOUNT) means that the total labor 
-- force of the GeopoliticalArea ?AREA is ?AMOUNT. This includes 
-- unemployed workers.
fun laborForceTotal : El GeopoliticalArea -> El NonnegativeRealNumber -> Formula ;


-- (laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD) means that the total 
-- labor force of the GeopoliticalArea ?AREA is ?AMOUNT during the 
-- TimeInterval indicated by ?PERIOD. This includes unemployed workers.
fun laborForceTotalInPeriod: El GeopoliticalArea -> El NonnegativeRealNumber -> Desc TimeInterval -> Formula ;


-- (lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION) means that 
-- in the GeopoliticalArea ?AREA, the lowest decile (0_10%) of 
-- households with respect to household income (or consumption) had 
-- ?FRACTION amount of the total household income (or consumption). 
-- Data from different countries may not be directly comparable due to 
-- variation in the basis of the data (e.g., based on income versus based 
-- on consumption).
fun lowestDecileShareOfHouseholdIncome : El GeopoliticalArea -> El RealNumber -> Formula ;


-- (lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD) 
-- means that in the GeopoliticalArea ?AREA, the lowest decile (0_10%) 
-- of households with respect to household income (or consumption) had 
-- ?FRACTION amount of the total household income (or consumption), during 
-- the TimeInterval indicated by ?PERIOD. Data from different countries 
-- may not be directly comparable due to variation in the basis of the data 
-- (e.g., based on household income versus based on household consumption).
fun lowestDecileShareOfHouseholdIncomeInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ;


-- (organizationProductType ?BUSINESS ?TYPE) means that the Organization 
-- ?BUSINESS produces products of the kind ?TYPE.
fun organizationProductType: El Organization -> Desc Object -> Formula ;


-- (organizationServiceType ?BUSINESS ?TYPE) means that the Organization 
-- ?BUSINESS provides services of the kind ?TYPE.
fun organizationServiceType: El Organization -> Desc IntentionalProcess -> Formula ;


-- (perCapitaGDP ?AREA ?AMOUNT) means 
-- that the Gross Domestic Product, on a per capita basis, for the 
-- GeopoliticalArea ?AREA is ?AMOUNT, calculated in U.S. dollars on a 
-- purchasing power parity basis. See PPPBasedEconomicValuation.
fun perCapitaGDP : El GeopoliticalArea -> El CurrencyMeasure -> Formula ;


-- (perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD) means that the Gross 
-- Domestic Product, on a per capita basis, for the GeopoliticalArea 
-- ?AREA is ?AMOUNT during the period indicated by ?PERIOD, calculated in 
-- U.S. dollars on a purchasing power parity basis. See 
-- PPPBasedEconomicValuation.
fun perCapitaGDPInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ;


-- (populationFractionBelowPovertyLine ?AREA ?FRACTION) means that in 
-- the GeopoliticalArea ?AREA, the segment of the population living 
-- below the (locally defined) poverty line is ?FRACTION. Note that the 
-- definition of the poverty line varies internationally.
fun populationFractionBelowPovertyLine : El GeopoliticalArea -> El RealNumber -> Formula ;


-- (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD) 
-- means that in the GeopoliticalArea ?AREA, the segment of the population 
-- living below the (locally defined) poverty line is ?FRACTION during the 
-- TimeInterval indicated by ?PERIOD. Note that the definition of the 
-- poverty line varies internationally.
fun populationFractionBelowPovertyLineInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ;


-- (realGrowthRateOfGDP ?AREA ?RATE) 
-- means that the annual rate of growth in the Gross Domestic Product (GDP) 
-- for the GeopoliticalArea ?AREA is the fraction ?RATE, adjusted for 
-- inflation, with GDP calculated on a purchasing power parity basis. 
-- See PPPBasedEconomicValuation.
fun realGrowthRateOfGDP : El GeopoliticalArea -> El RealNumber -> Formula ;


-- (realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD) means that the 
-- annual rate of growth in the Gross Domestic Product (GDP) for the 
-- GeopoliticalArea ?AREA is the fraction ?RATE in the period ?PERIOD, 
-- adjusted for inflation, with GDP calculated on a purchasing power 
-- parity basis. See PPPBasedEconomicValuation.
fun realGrowthRateOfGDPInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ;


-- (resultType ?PROCESS ?TYPE) means that 
-- the Process ?PROCESS produces some result(s) of the type ?TYPE.
fun resultType: El Process -> Desc Object -> Formula ;


-- (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION) means 
-- that in the GeopoliticalArea ?AREA, the economic sector ?SECTOR 
-- contributes the amount ?FRACTION to the Gross National Product.
fun sectorCompositionOfGDP : El GeopoliticalArea -> El IndustryAttribute -> El RealNumber -> Formula ;


-- (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) 
-- means that in the GeopoliticalArea ?AREA, the economic sector ?SECTOR 
-- contributes the amount ?FRACTION to the Gross National Product 
-- during the TimeInterval indicated by ?PERIOD.
fun sectorCompositionOfGDPInPeriod: El GeopoliticalArea -> El IndustryAttribute -> El RealNumber -> Desc TimeInterval -> Formula ;


-- (sectorValueOfGDP ?AREA ?SECTOR ?AMOUNT) means that for the 
-- GeopoliticalArea ?AREA, the economic sector ?SECTOR contributes 
-- ?AMOUNT to the Gross National Product, evaluated in U.S. dollars on 
-- a purchasing power parity basis. See PPPBasedEconomicValuation.
fun sectorValueOfGDP : El GeopoliticalArea -> El IndustryAttribute -> El CurrencyMeasure -> Formula ;


-- (sectorValueOfGDPInPeriod ?AREA ?SECTOR ?AMOUNT ?PERIOD) means that 
-- for the GeopoliticalArea ?AREA, the economic sector ?SECTOR contributes 
-- ?AMOUNT to the Gross National Product during the TimeInterval indicated 
-- by ?PERIOD, evaluated in U.S. dollars on a purchasing power parity basis. 
-- See PPPBasedEconomicValuation.
fun sectorValueOfGDPInPeriod: El GeopoliticalArea -> El IndustryAttribute -> El CurrencyMeasure -> Desc TimeInterval -> Formula ;


-- (totalGDP ?AREA ?AMOUNT) means that the value 
-- of all final goods and services produced within the GeopoliticalArea 
-- ?AREA is ?AMOUNT, in U.S. dollars, calculated on a purchasing power parity 
-- basis. This represents Gross Domestic Product (GDP). See 
-- PPPBasedEconomicValuation.
fun totalGDP : El GeopoliticalArea -> El CurrencyMeasure -> Formula ;


-- (totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD) 
-- means that the value of all final goods and services produced within 
-- the GeopoliticalArea ?AREA is ?AMOUNT in the period indicated by ?PERIOD, 
-- measured in U.S. dollars calculated on a purchasing power parity basis. 
-- (See PPPBasedEconomicValuation.) This is the Gross Domestic Product for 
-- ?AREA for a specified period.
fun totalGDPInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ;


-- (unemploymentRateOfArea ?AREA ?RATE ?PERIOD) means that the 
-- unemployment rate in the GeographicalArea ?AREA is ?RATE, 
-- during the TimeInterval indicated by ?PERIOD.
fun unemploymentRateOfArea: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ;


-- (unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD) means that the 
-- unemployment rate in the GeographicalArea ?AREA is ?RATE, during the 
-- TimeInterval indicated by ?PERIOD.
fun unemploymentRateOfAreaInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ;
}