Remove contribs and examples

Everything has now been moved to a separate repository at
https://github.com/GrammaticalFramework/gf-contrib
The contents of the examples folder are build during SetupWeb

1 files changed, 0 insertions, 2328 deletions

diff --git a/examples/SUMO/Economy.gf b/examples/SUMO/Economy.gf
deleted file mode 100644
index f60e6aa42..000000000
--- a/examples/SUMO/Economy.gf
+++ /dev/null
@@ -1,2328 +0,0 @@
--- # -path=.:englishExtended

-abstract Economy = MidLevelOntology, Transportation, Geography ** {

-

-  --  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 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 ;

-

-  -- A FruitOrVegetable that has a tart to sweet taste and a spherical shape.

-  fun Apple : Class ;

-  fun Apple_Class : SubClass Apple (both (both Food Fruit) 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 ;

-

-  -- A TropicalFruit that is shaped like a pear and has a dark green skin and a rich meat.

-  fun Avocado : Class ;

-  fun Avocado_Class : SubClass Avocado (both Food 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_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) ;

-

-  -- A FruitOrVegetable that is produced by a type of palm 

-  -- and has an edible white meat.

-  fun Coconut : Class ;

-  fun Coconut_Class : SubClass Coconut (both Food 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 ;

-

-  -- A FruitOrVegetable that is produced by the date palm.

-  fun DateFruit : Class ;

-  fun DateFruit_Class : SubClass DateFruit (both Food 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 ;

-

-  -- Fodder is the class of OrganicObjects that are used as food for

-  -- domesticated animals. Fodder Fodder is the subclass of Food that is 

-  -- intended for instances of DomesticAnimal.

-  fun Fodder : Class ;

-  fun Fodder_Class : SubClass Fodder (both Food 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 ;

-

-  -- Grass that has been cut and cured for use as Fodder.

-  fun Hay : Class ;

-  fun Hay_Class : SubClass Hay Fodder ;

-

-  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 ;

-

-  -- A substance harvested from the seed capsules of the 

-  -- opium poppy that contains various powerful alkaloids.

-  fun Opium : Class ;

-  fun Opium_Class : SubClass Opium (both (both Depressant Narcotic) (both PlantSubstance 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) ;

-

-  -- The edible Seed of a pea plant.

-  fun Pea : Class ;

-  fun Pea_Class : SubClass Pea (both (both Food Seed) 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 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 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 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 ;

-

-}