From f7f0112256b738a7c640c37d5bcbfc8a33bdb307 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 17 Feb 2010 11:07:24 +0000 Subject: added examples/SUMO --- examples/SUMO/Economy.gf | 2373 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 2373 insertions(+) create mode 100644 examples/SUMO/Economy.gf (limited to 'examples/SUMO/Economy.gf') diff --git a/examples/SUMO/Economy.gf b/examples/SUMO/Economy.gf new file mode 100644 index 000000000..728583b68 --- /dev/null +++ b/examples/SUMO/Economy.gf @@ -0,0 +1,2373 @@ +-- # -path=.:englishExtended +abstract Economy = open Merge, Transportation, Mid_level_ontology, Geography in { + + + +-- AdvancedDevelopingCountry +-- is an Attribute used to describe a LessDevelopedCountry (LDC) +-- that is undergoing rapid industrial development. Also called 'newly +-- industrializing economy' (or 'country'). +fun AdvancedDevelopingCountry : Ind EconomicDevelopmentLevel ; + + +-- AdvancedEconomy is an Attribute +-- used to represent the InternationalMonetaryFund's top category of +-- development levels (AdvancedEconomy,, countries in transition, and +-- developing countries. Generally (but not exactly) corresponds with +-- DevelopedCountry classification used by UnitedNations agencies. +fun AdvancedEconomy : Ind IMFDevelopmentLevel ; + + +fun AfghanAfghani : Ind UnitOfCurrency ; + +fun AfghanAfghaniCoin : Class ; +fun AfghanAfghaniCoin_Class : SubClass AfghanAfghaniCoin CurrencyCoin ; +fun AgriculturalProduct_Product : SubClass AgriculturalProduct Product ; + +fun AgriculturalSector : Ind IndustryAttribute ; + +fun AgricultureBasedEconomy : Ind FinancialSectorAttribute ; + +-- (AgricultureFn ?PRODUCT) denotes the +-- subclass of Agriculture processes in which the AgriculturalProduct +-- ?PRODUCT is cultivated. +fun AgricultureFn: Desc AgriculturalProduct -> Desc Agriculture ; + + +fun AgricultureForestryFishingAndHunting : Ind IndustryAttribute ; + +fun AlbanianLek : Ind UnitOfCurrency ; + +fun Alfalfa : Class ; +fun Alfalfa_Class : SubClass Alfalfa (both Fodder (both Plant PlantAgriculturalProduct)) ; + +fun AlgerianDinar : Ind UnitOfCurrency ; + +fun AlmondNut : Class ; +fun AlmondNut_Class : SubClass AlmondNut EdibleNut ; +-- Aloes is the class of +-- PlantAgriculturalProducts that are dried juice of +-- the Aloe plant. +fun Aloes : Class ; +fun Aloes_Class : SubClass Aloes PlantAgriculturalProduct ; + +-- Alumina is the naturally occurring oxide +-- of aluminum which is found in corundum and bauxite. +fun Alumina : Class ; +fun Alumina_Class : SubClass Alumina CompoundSubstance ; + +fun AluminumMetal : Class ; +fun AluminumMetal_Class : SubClass AluminumMetal MetalProduct ; +fun AngolanKwanza : Ind UnitOfCurrency ; + +-- AnimalSkin is the subclass of +-- BodyCovering that includes the skins, or parts of skins, +-- of animals. +fun AnimalSkin : Class ; +fun AnimalSkin_Class : SubClass AnimalSkin BodyCovering ; + +fun Apple_Fruit : SubClass Apple Fruit ; + +fun Apple_GroceryProduce : SubClass Apple GroceryProduce ; + +fun ArgentineAustral : Ind UnitOfCurrency ; + +fun ArmenianDram : Ind UnitOfCurrency ; + +-- Asphalt is a highly viscous liquid that occurs +-- naturally in most crude petroleums. Asphalt can be separated from the +-- other components in crude oil (such as naphtha, gasoline and diesel) by +-- the process of fractional distillation, usually under vacuum conditions. +-- Both tars and asphalts are classified as bitumens, a classification that +-- includes all materials entirely soluble in carbon disulphide. Asphalt is +-- commonly used in roofing shingles, and combined with mineral aggregate to +-- make asphalt concrete for making roads. (definition from Wikipedia) +fun Asphalt : Class ; +fun Asphalt_Class : SubClass Asphalt RefinedPetroleumProduct ; + +fun AsphaltPavingRoofingAndSaturatedMaterialsManufacturing : Ind IndustryAttribute ; + +fun AustralianDollar : Ind UnitOfCurrency ; + +fun AustrianSchilling : Ind UnitOfCurrency ; + +fun Avocado_GroceryProduce : SubClass Avocado GroceryProduce ; + +fun Avocado_TropicalFruit : SubClass Avocado TropicalFruit ; + +fun AzerbaijaniManat : Ind UnitOfCurrency ; + +fun BahamianDollar : Ind UnitOfCurrency ; + +fun BahrainianDinar : Ind UnitOfCurrency ; + +fun BalsaWood : Class ; +fun BalsaWood_Class : SubClass BalsaWood WoodProduct ; +fun Banana : Class ; +fun Banana_Class : SubClass Banana (both GroceryProduce TropicalFruit) ; + +fun BangladeshiTaka : Ind UnitOfCurrency ; + +fun BarbadosDollar : Ind UnitOfCurrency ; + +fun BarleyFarming : Ind IndustryAttribute ; + +fun BarleyGrain : Class ; +fun BarleyGrain_Class : SubClass BarleyGrain CerealGrain ; +-- Bauxite is an impure mixture of earthy +-- hydrous aluminum oxides and hydroxides that is the principal +-- source of aluminum. +fun Bauxite : Class ; +fun Bauxite_Class : SubClass Bauxite (both MiningProduct Mixture) ; + + +fun Bean : Class ; +fun Bean_Class : SubClass Bean Legume ; +fun BelarusianRubel : Ind UnitOfCurrency ; + +fun BelgianFranc : Ind UnitOfCurrency ; + +fun BelizeDollar : Ind UnitOfCurrency ; + +fun BeninFranc : Ind UnitOfCurrency ; + +fun BermudaDollar : Ind UnitOfCurrency ; + +fun Berry : Class ; +fun Berry_Class : SubClass Berry (both Fruit GroceryProduce) ; + +-- BeverageProduct is the class of products +-- that are Beverages, packaged or unpackaged. +fun BeverageProduct : Class ; +fun BeverageProduct_Class : SubClass BeverageProduct Product ; + +fun BhutaneseNgultrum : Ind UnitOfCurrency ; + +fun BlackPepper : Class ; +fun BlackPepper_Class : SubClass BlackPepper Spice ; +fun BolivianBoliviano : Ind UnitOfCurrency ; + +fun BotswanaPula : Ind UnitOfCurrency ; + +fun BrazilianReal : Ind UnitOfCurrency ; + +fun Breadfruit : Class ; +fun Breadfruit_Class : SubClass Breadfruit (both GroceryProduce TropicalFruit) ; + +fun BritishPound : Ind UnitOfCurrency ; + +fun BritishPoundCoin : Class ; +fun BritishPoundCoin_Class : SubClass BritishPoundCoin CurrencyCoin ; +fun BruneiDollar : Ind UnitOfCurrency ; + +fun BulgarianLev : Ind UnitOfCurrency ; + +fun BurkinaFasoFranc : Ind UnitOfCurrency ; + +fun BurundiFranc : Ind UnitOfCurrency ; + +fun Cabbage : Class ; +fun Cabbage_Class : SubClass Cabbage (both GroceryProduce Vegetable) ; + +fun CambodianRiel : Ind UnitOfCurrency ; + +fun Camel : Class ; +fun Camel_Class : SubClass Camel (both Livestock Mammal) ; + +fun CameroonFranc : Ind UnitOfCurrency ; + +fun CanadianDollar : Ind UnitOfCurrency ; + +fun CanadianDollarCoin : Class ; +fun CanadianDollarCoin_Class : SubClass CanadianDollarCoin CurrencyCoin ; + +fun Cannabis : Class ; +fun Cannabis_Class : SubClass Cannabis PlantAgriculturalProduct ; + +fun CapeVerdeEscudo : Ind UnitOfCurrency ; + +-- CapitalGoods are those that are used +-- in the production of other Products. For example, raw materials +-- from which end products are manufactured, or machines and other +-- structures used in the production process. +fun CapitalGood : Class ; +fun CapitalGood_Class : SubClass CapitalGood Product ; + +-- CapitalistEconomy is the +-- Attribute used to characterize a country whose economy is based +-- on private ownership of the means of production and distribution, +-- and on private accumulation of capital. +fun CapitalistEconomy : Ind EconomicSystemAttribute ; + + +fun Cardamom : Class ; +fun Cardamom_Class : SubClass Cardamom Spice ; +fun Carrot : Class ; +fun Carrot_Class : SubClass Carrot (both GroceryProduce RootVegetable) ; + +fun CashewNut : Class ; +fun CashewNut_Class : SubClass CashewNut EdibleNut ; +fun Cassava : Class ; +fun Cassava_Class : SubClass Cassava (both GroceryProduce RootVegetable) ; + +fun Cattle : Class ; +fun Cattle_Class : SubClass Cattle (both HoofedMammal Livestock) ; + +fun Cauliflower : Class ; +fun Cauliflower_Class : SubClass Cauliflower (both GroceryProduce Vegetable) ; + +fun Caviar : Class ; +fun Caviar_Class : SubClass Caviar FishRoe ; +fun CaymanIslandsDollar : Ind UnitOfCurrency ; + +-- Cement is a subclass of CompoundSubstance +-- whose instances may contain various minerals or ores, prepared by +-- heating and pulverizing, and used in binding Concrete or in laying +-- brick or stone. +fun Cement : Class ; +fun Cement_Class : SubClass Cement (both CompoundSubstance ManufacturedProduct) ; + + +fun CentralAfricanRepublicFranc : Ind UnitOfCurrency ; + +-- CentrallyPlannedEconomy +-- is a term used mainly to describe communist or formerly communist +-- states, many of which are now evolving away from command economies +-- towards market_oriented systems. Also known as a 'command economy'. +fun CentrallyPlannedEconomy : Ind EconomicSystemAttribute ; + + +fun CerealGrainFarming : Ind IndustryAttribute ; + +fun CerealGrain_PlantAgriculturalProduct : SubClass CerealGrain PlantAgriculturalProduct ; + +fun CerealGrain_Vegetable : SubClass CerealGrain Vegetable ; + +fun CerealGrass : Class ; +fun CerealGrass_Class : SubClass CerealGrass Grass ; +fun ChadianFranc : Ind UnitOfCurrency ; + +fun Cheese : Class ; +fun Cheese_Class : SubClass Cheese (both DairyProduct PreparedFood) ; + +-- ChemicalProduct is the subclass +-- of Product comprising all chemical compounds that are end products +-- or industrial products used in the manufacture of end products. +fun ChemicalProduct : Class ; +fun ChemicalProduct_Class : SubClass ChemicalProduct (both CompoundSubstance ManufacturedProduct) ; + + +fun ChileanPeso : Ind UnitOfCurrency ; + +fun ChineseYuan : Ind UnitOfCurrency ; + +fun Chrysanthemum : Class ; +fun Chrysanthemum_Class : SubClass Chrysanthemum (both FloweringPlant PlantAgriculturalProduct) ; + +fun Cinnamon : Class ; +fun Cinnamon_Class : SubClass Cinnamon Spice ; +fun CitrusFruit : Class ; +fun CitrusFruit_Class : SubClass CitrusFruit (both Fruit GroceryProduce) ; + +fun ClothesDryer : Class ; +fun ClothesDryer_Class : SubClass ClothesDryer MajorAppliance ; +fun ClothesWashingMachine : Class ; +fun ClothesWashingMachine_Class : SubClass ClothesWashingMachine MajorAppliance ; +fun Clove : Class ; +fun Clove_Class : SubClass Clove Spice ; +fun Clover : Class ; +fun Clover_Class : SubClass Clover (both Fodder (both Plant PlantAgriculturalProduct)) ; + +fun CoalIndustry : Ind IndustryAttribute ; + +fun CoalMining : Ind IndustryAttribute ; + +fun CoalProductsManufacturing : Ind IndustryAttribute ; + +-- Coca is the class of +-- PlantAgriculturalProducts consisting of the parts, +-- especially leaves, of the coca plant. Coca leaves +-- are the source of Cocaine. +fun Coca : Class ; +fun Coca_Class : SubClass Coca PlantAgriculturalProduct ; + +fun Cocaine : Class ; +fun Cocaine_Class : SubClass Cocaine (both Narcotic PlantAgriculturalProduct) ; + +-- Cocoa is the class of powdered +-- PlantAgriculturalProduct derived from cacao beans. +fun Cocoa : Class ; +fun Cocoa_Class : SubClass Cocoa (both FruitOrVegetable PlantAgriculturalProduct) ; + + +fun CocoaBean : Class ; +fun CocoaBean_Class : SubClass CocoaBean (both FruitOrVegetable PlantAgriculturalProduct) ; + +fun Coconut_GroceryProduce : SubClass Coconut GroceryProduce ; + +fun Coconut_TropicalFruit : SubClass Coconut TropicalFruit ; + +fun CoffeeBean : Class ; +fun CoffeeBean_Class : SubClass CoffeeBean (both FruitOrVegetable PlantAgriculturalProduct) ; + +fun ColombianPeso : Ind UnitOfCurrency ; + +fun CommercialAndIndustrialRefrigerationAndEquipmentManufacturing : Ind IndustryAttribute ; + +fun CommunalLandOwnershipEconomy : Ind EconomicSystemAttribute ; + +-- Concrete is a class of CompoundSubstances +-- used as building materials. Concrete is made up of Mineral pieces +-- (sand or gravel) and a Cement material used to bind them together. +fun Concrete : Class ; +fun Concrete_Class : SubClass Concrete (both ManufacturedProduct Mixture) ; + + +fun CongoFranc : Ind UnitOfCurrency ; + +fun ConsumerGood : Class ; +fun ConsumerGood_Class : SubClass ConsumerGood ManufacturedProduct ; +fun ConsumerGoodsIndustry : Ind IndustryAttribute ; + +fun ControlledLaborMarketEconomy : Ind FinancialSectorAttribute ; + +-- ControlledSubstance is +-- the subclass of BiologicallyActiveSubstances whose distribution +-- and use is controlled by government regulation. +fun ControlledSubstance : Class ; +fun ControlledSubstance_Class : SubClass ControlledSubstance BiologicallyActiveSubstance ; + +fun CookingOven : Class ; +fun CookingOven_Class : SubClass CookingOven MajorAppliance ; +fun CookingRange : Class ; +fun CookingRange_Class : SubClass CookingRange MajorAppliance ; +fun CopperFoundriesExceptDieCasting : Ind IndustryAttribute ; + +fun CopperIndustry : Ind IndustryAttribute ; + +fun CopperOre : Class ; +fun CopperOre_Class : SubClass CopperOre (both Mineral MiningProduct) ; + +fun CopperOreMining : Ind IndustryAttribute ; + +fun CopperRollingDrawingExtrudingAndAlloying : Ind IndustryAttribute ; + +-- Copra is the class of dried coconut +-- meat valued for the extracted coconut oil. +fun Copra : Class ; +fun Copra_Class : SubClass Copra PlantAgriculturalProduct ; + +fun CornFarming : Ind IndustryAttribute ; + +fun CostaRicanColon : Ind UnitOfCurrency ; + +fun CottonFiber : Class ; +fun CottonFiber_Class : SubClass CottonFiber PlantAgriculturalProduct ; +-- CountryInTransition is a term +-- used by the InternationalMonetaryFund (IMF) to describe the middle +-- group in its hierarchy of advanced countries, countries in transition, +-- and developing countries. Most of the countries with this attribute +-- are former USSR or Eastern European countries. Generally corresponds +-- with FormerSovietOrEasternEuropeanCountry classification used by +-- UnitedNations agencies. +fun CountryInTransition : Ind IMFDevelopmentLevel ; + + +fun CowPea : Class ; +fun CowPea_Class : SubClass CowPea Legume ; +fun Crayfish : Class ; +fun Crayfish_Class : SubClass Crayfish Shellfish ; +fun CrudePetroleumExtraction : Ind IndustryAttribute ; + +fun CubanPeso : Ind UnitOfCurrency ; + +fun Cucumber : Class ; +fun Cucumber_Class : SubClass Cucumber (both GroceryProduce Vegetable) ; + +fun CutFlower : Class ; +fun CutFlower_Class : SubClass CutFlower PlantAgriculturalProduct ; +fun CypriotPound : Ind UnitOfCurrency ; + +fun CzechKoruna : Ind UnitOfCurrency ; + +fun DanishKrone : Ind UnitOfCurrency ; + +fun DateFruit_GroceryProduce : SubClass DateFruit GroceryProduce ; + +fun DateFruit_TropicalFruit : SubClass DateFruit TropicalFruit ; + +fun Deer : Class ; +fun Deer_Class : SubClass Deer (both HoofedMammal Livestock) ; + +-- DemocraticSocialism is an +-- Attribute that describes a country in which socialism is promoted +-- by a political party or parties within a democratic government. +-- Under DemocraticSocialism, the government participates in central +-- planning of the economy and may also manage nationalized industries. +fun DemocraticSocialism : Ind EconomicSystemAttribute ; + + +-- DevelopedCountry (DC) is a term used to describe members of the top +-- group in the UNEconomicDevelopmentLevels. DevelopedCountry includes +-- market_oriented economies of mainly democratic nations, including members +-- of the OrganizationForEconomicCooperationAndDevelopment (OECD). DCs +-- are also known as First World countries, 'the North', and industrial +-- countries. Developed countries generally have high incomes (high per +-- capita GDP or GNI), but there are exceptions to DC membership both above +-- and below that standard. There is significant overlap, but not perfect +-- congruence, between the UN category DevelopedCountry and the IMF +-- category AdvancedEconomy. +fun DevelopedCountry : Ind UNEconomicDevelopmentLevel ; + + +-- DevelopingCountry is a term +-- used by the InternationalMonetaryFund (IMF) for the bottom group +-- in its hierarchy of advanced countries, countries in transition, +-- and developing countries. Generally corresponds to the attribute +-- LessDevelopedCountry used by UnitedNations agencies. Not to +-- be confused with DevelopedCountry. +fun DevelopingCountry : Ind IMFDevelopmentLevel ; + + +-- DieselFuel is the subclass of +-- RefinedPetroleumProducts that are fuels for diesel engines. +fun DieselFuel : Class ; +fun DieselFuel_Class : SubClass DieselFuel FossilFuel ; + +fun Dishwasher : Class ; +fun Dishwasher_Class : SubClass Dishwasher MajorAppliance ; +-- Distillation is a means of separating Liquids +-- through differences in their boilingPoints. The device used in +-- distillation is referred to as a still and consists at a minimum of a pot +-- in which the source material is heated, a condenser in which the heated +-- Gas is cooled back to the liquid state, and a receiver in which the +-- concentrated or purified liquid is collected. The equipment may effect +-- separation by one of two main methods. Firstly the vapours given off by +-- the heated mixture may consist of two liquids with significantly different +-- boiling points. Thus, the vapour that is given off is in the vast +-- majority of one or the other liquid, which after condensation and +-- collection effects the separation. The second method (fractional +-- distillation) relies upon a gradient of temperatures existing in the +-- condenser stage of the equipment. Often in this technique, a vertical +-- condenser, or column, is used. By extracting products that are liquid at +-- different heights up the column, it is possible to extract liquids that +-- have different boiling points. (from Wikipedia) +fun Distilling : Class ; +fun Distilling_Class : SubClass Distilling Separating ; + +fun DiversifiedEconomy : Ind FinancialSectorAttribute ; + +fun DjiboutiFranc : Ind UnitOfCurrency ; + +fun DominicanDollar : Ind UnitOfCurrency ; + +fun DominicanPeso : Ind UnitOfCurrency ; + +fun DrillingOilAndGasWells : Ind IndustryAttribute ; + +-- DurableGood is the subclass of +-- ManufacturedProducts which are designed to last for three years +-- or more. +fun DurableGood : Class ; +fun DurableGood_Class : SubClass DurableGood ManufacturedProduct ; + +fun DutchGuilder : Ind UnitOfCurrency ; + +-- EconomicAttribute is the class +-- of terms including all Attributes used to characterize the +-- economic systems or development levels of Nations or dependent +-- GeopoliticalAreas. +fun EconomicAttribute : Class ; +fun EconomicAttribute_Class : SubClass EconomicAttribute (both PoliticoEconomicAttribute RelationalAttribute) ; + + +-- EconomicDevelopmentLevel is a subclass of EconomicAttribute +-- containing terms used to describe the economic development level of a +-- Nation or GeopoliticalArea. This class is further subdivided into +-- different scales devised or used by different agencies. +fun EconomicDevelopmentLevel : Class ; +fun EconomicDevelopmentLevel_Class : SubClass EconomicDevelopmentLevel EconomicAttribute ; + +-- EconomicSystemAttribute +-- is the class of Attributes that describe the type of economic +-- system that a country or area has. For example, CapitalistEconomy +-- or SocialistEconomy. +fun EconomicSystemAttribute : Class ; +fun EconomicSystemAttribute_Class : SubClass EconomicSystemAttribute EconomicAttribute ; + +fun EcuadoranSucre : Ind UnitOfCurrency ; + +fun EdibleNut : Class ; +fun EdibleNut_Class : SubClass EdibleNut (both FruitOrVegetable GroceryProduce) ; + +fun EdibleTuber : Class ; +fun EdibleTuber_Class : SubClass EdibleTuber (both PlantAgriculturalProduct RootVegetable) ; + +fun Eggplant : Class ; +fun Eggplant_Class : SubClass Eggplant (both GroceryProduce Vegetable) ; + +fun EgyptianPound : Ind UnitOfCurrency ; + +fun ElSalvadoranColon : Ind UnitOfCurrency ; + +-- ElectricalPowerGeneration is +-- the subclass of PowerGeneration processes in which electricity is +-- generated. +fun ElectricalPowerGeneration : Class ; +fun ElectricalPowerGeneration_Class : SubClass ElectricalPowerGeneration PowerGeneration ; + +-- While electricity is typically thought of as just a difference +-- in electrical potential, one way of modeling electricity is as a substance +-- that can be moved from one point to another or consumed. One could make the claim +-- that subatomic physics also supports the classification as a substance since electrons +-- are objects. +fun Electricity : Class ; +fun Electricity_Class : SubClass Electricity Substance ; + +fun EstonianKroon : Ind UnitOfCurrency ; + +fun EthiopianBirr : Ind UnitOfCurrency ; + +fun EuroCentCoin : Class ; +fun EuroCentCoin_Class : SubClass EuroCentCoin CurrencyCoin ; +fun EuroDollarCoin : Class ; +fun EuroDollarCoin_Class : SubClass EuroDollarCoin CurrencyCoin ; +-- Exporting is the class of actions in +-- which there is a ChangeOfPossession of goods shipped from a +-- provider in one Nation to a destination in another Nation. +-- Typically, there are Selling and Buying events associated +-- with an Exporting. Either the seller or the exporting country +-- may be considered the origin of Exporting. +fun Exporting : Class ; +fun Exporting_Class : SubClass Exporting (both ChangeOfPossession FinancialTransaction) ; + + +-- Any Mixture which is used to provide nutrients to +-- living Plants. Fertilizers can be made up of plant or animal material, e.g. +-- compost, or they can be entirely synthetic, e.g. ammonium nitrate. +fun Fertilizer : Class ; +fun Fertilizer_Class : SubClass Fertilizer Mixture ; + +fun FertilizerIndustry : Ind IndustryAttribute ; + +fun FertilizerManufacturing : Ind IndustryAttribute ; + +fun FertilizerMineralMining : Ind IndustryAttribute ; + +fun FijiDollar : Ind UnitOfCurrency ; + +-- FinancialSectorAttribute is +-- a class of Attributes that are used to indicate which financial sectors +-- are most important in the economy of a Nation or GeopoliticalArea. +fun FinancialSectorAttribute : Class ; +fun FinancialSectorAttribute_Class : SubClass FinancialSectorAttribute EconomicAttribute ; + +fun FinnishMarkka : Ind UnitOfCurrency ; + +-- (FiscalYearFn ?PLACE) denotes the subclass +-- of TimeIntervals that are fiscalYearPeriods of the Organization or +-- GeopoliticalArea ?PLACE. +fun FiscalYearFn: El Agent -> Desc TimeInterval ; + + +-- (FiscalYearStartingFn ?PLACE ?YEAR) +-- denotes the particular fiscal year that is observed in ?PLACE and begins +-- during the calendar Year indicated by ?YEAR. +fun FiscalYearStartingFn: El Agent -> Desc Year -> Ind TimeInterval ; + + +-- FishProduct is the subclass of +-- AnimalAgriculturalProduct that comprises products derived +-- from fish. +fun FishProduct : Class ; +fun FishProduct_Class : SubClass FishProduct AnimalAgriculturalProduct ; + +fun FishRoe : Class ; +fun FishRoe_Class : SubClass FishRoe FishProduct ; +fun FlaxFiber : Class ; +fun FlaxFiber_Class : SubClass FlaxFiber PlantAgriculturalProduct ; +fun Fodder_OrganicObject : SubClass Fodder OrganicObject ; + +fun FoodEgg : Class ; +fun FoodEgg_Class : SubClass FoodEgg AnimalAgriculturalProduct ; +fun FoodFish : Class ; +fun FoodFish_Class : SubClass FoodFish Seafood ; +-- FoodProduct is the class of food +-- products, packaged or unpackaged. +fun FoodProduct : Class ; +fun FoodProduct_Class : SubClass FoodProduct Product ; + +fun Footwear : Class ; +fun Footwear_Class : SubClass Footwear Clothing ; +fun ForageCrop : Class ; +fun ForageCrop_Class : SubClass ForageCrop (both Fodder (both Plant PlantAgriculturalProduct)) ; + +fun ForestProduct : Class ; +fun ForestProduct_Class : SubClass ForestProduct Product ; +fun ForestryAndLogging : Ind IndustryAttribute ; + +-- FormerSovietOrEasternEuropeanCountry (former USSR_EE) is an +-- Attribute that characterizes countries that were part of the former +-- Soviet Union or its sphere of influence in Eastern Europe. This level +-- occupies a middle position between DevelopedCountry (DC) and +-- LessDevelopedCountry (LDC) in UNEconomicDevelopmentLevels. +-- Previously, former USSR_EE countries had a CentrallyPlannedEconomy and +-- were Marxist_Leninist states. Many are now evolving away from command +-- economies to market economic systems. During the 1980's, the group +-- included Albania, Bulgaria, Cambodia, China, Cuba, Czechoslovakia, the +-- German Democratic Republic (East Germany), Hungary, North Korea, Laos, +-- Mongolia, Poland, Romania, the USSR, Vietnam and Yugoslavia. +fun FormerSovietOrEasternEuropeanCountry : Ind UNEconomicDevelopmentLevel ; + + +fun FossilFuelPowerGeneration : Ind PowerGeneration ; + +-- FourDragonsEconomy describes four +-- small Asian countries that achieved rapid economic growth in the 1990s. +-- Some systems of EconomicDevelopmentLevel place them as a +-- LessDevelopedCountry, but the IMF includes them in AdvancedEconomy. +fun FourDragonsEconomy : Ind EconomicDevelopmentLevel ; + + +fun Freezer : Class ; +fun Freezer_Class : SubClass Freezer MajorAppliance ; +fun FrenchFranc : Ind UnitOfCurrency ; + +fun FrenchFrancCoin : Class ; +fun FrenchFrancCoin_Class : SubClass FrenchFrancCoin CurrencyCoin ; +fun Fruit : Class ; +fun Fruit_Class : SubClass Fruit FruitOrVegetable ; +fun FruitFarming : Ind IndustryAttribute ; + +fun FurnitureAndHomeFurnishingWholesalers : Ind IndustryAttribute ; + +fun FurnitureAndHomeFurnishingsStores : Ind IndustryAttribute ; + +fun FurnitureAndRelatedProductManufacturing : Ind IndustryAttribute ; + +fun FurnitureIndustry : Ind IndustryAttribute ; + +fun FurnitureManufacturing : Ind IndustryAttribute ; + +fun Furniture_DurableGood : SubClass Furniture DurableGood ; + +fun GabonFranc : Ind UnitOfCurrency ; + +fun GambianDalasi : Ind UnitOfCurrency ; + +-- Gasoline is the subclass of +-- RefinedPetroleumProducts that are fuels for internal combustion engines. +fun Gasoline : Class ; +fun Gasoline_Class : SubClass Gasoline FossilFuel ; + +-- Gemstone is the subclass of Mineral items +-- that are especially valued for use in jewelry and other decorative items, and also in some mechanical and industrial applications. +fun Gemstone : Class ; +fun Gemstone_Class : SubClass Gemstone Mixture ; + +fun GeorgianLari : Ind UnitOfCurrency ; + +fun GermanMark : Ind UnitOfCurrency ; + +fun GermanMarkCoin : Class ; +fun GermanMarkCoin_Class : SubClass GermanMarkCoin CurrencyCoin ; +fun GhanianCedi : Ind UnitOfCurrency ; + +fun Ginger : Class ; +fun Ginger_Class : SubClass Ginger (both Spice Vegetable) ; + +-- A domesticated HoofedMammal that is raised primarily +-- for Milk. +fun Goat : Class ; +fun Goat_Class : SubClass Goat (both HoofedMammal Livestock) ; + + +-- GovernmentRegulatedEconomy +-- is an Attribute that describes the economy of a country in which the +-- government determines prices, production, wages, allocation of resources, +-- or other economic factors. An economy that is wholly government planned +-- is a CentrallyPlannedEconomy. +fun GovernmentRegulatedEconomy : Ind EconomicSystemAttribute ; + + +-- GovernmentSubsidizedEconomy +-- is an Attribute describing an economy in which the government provides +-- subsidies to various industries, workers, or other groups as part of its +-- economic policy. +fun GovernmentSubsidizedEconomy : Ind EconomicSystemAttribute ; + + +fun GrainAndOilseedMilling : Ind IndustryAttribute ; + +fun Grape : Class ; +fun Grape_Class : SubClass Grape (both Fruit GroceryProduce) ; + +fun GreekDrachma : Ind UnitOfCurrency ; + +fun GreenPepper : Class ; +fun GreenPepper_Class : SubClass GreenPepper (both GroceryProduce Vegetable) ; + +fun GrenadaDollar : Ind UnitOfCurrency ; + +fun Groundnut : Class ; +fun Groundnut_Class : SubClass Groundnut (both EdibleTuber (both FruitOrVegetable GroceryProduce)) ; + +fun GuatemalanQuetzal : Ind UnitOfCurrency ; + +fun GuernseyCattle : Class ; +fun GuernseyCattle_Class : SubClass GuernseyCattle Cattle ; +fun GuineaBissauPeso : Ind UnitOfCurrency ; + +fun GuineanFranc : Ind UnitOfCurrency ; + +fun GumArabic : Class ; +fun GumArabic_Class : SubClass GumArabic (both PlantAgriculturalProduct Substance) ; + +fun GuyanaDollar : Ind UnitOfCurrency ; + +fun HaitianGourde : Ind UnitOfCurrency ; + +fun HandicraftIndustry : Ind IndustryAttribute ; + +-- HandicraftProduct is the class of +-- Products that are manufactured by hand with a special skill. +fun HandicraftProduct : Class ; +fun HandicraftProduct_Class : SubClass HandicraftProduct Product ; + +fun HandwovenCarpet : Class ; +fun HandwovenCarpet_Class : SubClass HandwovenCarpet (both HandicraftProduct TextileProduct) ; + +fun HandwovenCarpetManufacturing : Ind IndustryAttribute ; + +fun Hardwood : Class ; +fun Hardwood_Class : SubClass Hardwood WoodProduct ; +fun HempFiber : Class ; +fun HempFiber_Class : SubClass HempFiber PlantAgriculturalProduct ; +-- HighIncomeCountry is an Attribute representing the World Bank +-- classification for any country where the per capita GNI is +-- equal to or greater than &9,266 in UnitedStatesDollars. +fun HighIncomeCountry : Ind WorldBankGNIPerCapitaLevel ; + + +-- HighTechIndustrialEconomy +-- is an Attribute used to describe industrialized countries whose +-- infrastructure uses the most advanced kinds of technology. +fun HighTechIndustrialEconomy : Ind EconomicDevelopmentLevel ; + + +fun HonduranLempira : Ind UnitOfCurrency ; + +fun Honey_AnimalAgriculturalProduct : SubClass Honey AnimalAgriculturalProduct ; + +fun HongKongDollar : Ind UnitOfCurrency ; + +fun HotWaterHeater : Class ; +fun HotWaterHeater_Class : SubClass HotWaterHeater MajorAppliance ; +fun HouseholdRefrigeratorAndHomeFreezerManufacturing : Ind IndustryAttribute ; + +fun HungarianForint : Ind UnitOfCurrency ; + +fun HydroElectricPowerGeneration : Ind ElectricalPowerGeneration ; + +-- IMFDevelopmentLevel is a +-- collection of Attributes representing economic development levels +-- used by the InternationalMonetaryFund (IMF) to characterize national +-- economies. The hierarchy of IMF levels includes: AdvancedEconomy, +-- CountryInTransition, and DevelopingCountry. There is some, but not +-- complete, overlap with concepts used by UnitedNations agencies. +-- See +fun IMFDevelopmentLevel : Class ; +fun IMFDevelopmentLevel_Class : SubClass IMFDevelopmentLevel EconomicDevelopmentLevel ; + +fun IcelandicKrona : Ind UnitOfCurrency ; + +fun IndianRupee : Ind UnitOfCurrency ; + +fun IndonesianRupiah : Ind UnitOfCurrency ; + +fun IndustrialRawMaterial : Class ; +fun IndustrialRawMaterial_Class : SubClass IndustrialRawMaterial CapitalGood ; +fun IndustrialSector : Ind IndustryAttribute ; + +-- IndustrialSupply is the class of +-- products that are used in industry but which are not raw materials +-- for products being manufactured. IndustrialSupply includes maintenance, +-- repair, and operation (MRO) supplies, including janitorial, electrical, +-- bearings, tools, machinery, accessories, fire and safety equipment, and +-- other industrial items. +fun IndustrialSupply : Class ; +fun IndustrialSupply_Class : SubClass IndustrialSupply (both CapitalGood ManufacturedProduct) ; + + +fun IndustryAttribute : Class ; + +fun IranianRial : Ind UnitOfCurrency ; + +fun IraqiDinar : Ind UnitOfCurrency ; + +fun IrishPound : Ind UnitOfCurrency ; + +fun IronMetal : Class ; +fun IronMetal_Class : SubClass IronMetal MetalProduct ; +-- IronOre is a subclass of CompoundSubstance +-- that contains compounds of iron, of which the most common are +-- hematite and limonite. Iron is obtained from smelting iron ores. +fun IronOre : Class ; +fun IronOre_Class : SubClass IronOre (both CompoundSubstance (both Mineral MiningProduct)) ; + + +fun IsraeliShekel : Ind UnitOfCurrency ; + +fun ItalianLire : Ind UnitOfCurrency ; + +fun ItalianLireCoin : Class ; +fun ItalianLireCoin_Class : SubClass ItalianLireCoin CurrencyCoin ; +fun IvoryCoastFranc : Ind UnitOfCurrency ; + +fun JamaicanDollar : Ind UnitOfCurrency ; + +fun JapaneseYen : Ind UnitOfCurrency ; + +fun JapaneseYenCoin : Class ; +fun JapaneseYenCoin_Class : SubClass JapaneseYenCoin CurrencyCoin ; +-- Jewelry is the subclass of PersonalAdornment +-- items that are typically made of metals (especially precious metals), +-- gems, and other non_cloth materials. +fun Jewelry : Class ; +fun Jewelry_Class : SubClass Jewelry (both PersonalAdornment WearableItem) ; + + +fun JordanianDinar : Ind UnitOfCurrency ; + +fun JuteFiber : Class ; +fun JuteFiber_Class : SubClass JuteFiber PlantAgriculturalProduct ; +fun KazakhstaniTenge : Ind UnitOfCurrency ; + +fun KentiaPalmSeed : Class ; +fun KentiaPalmSeed_Class : SubClass KentiaPalmSeed (both PlantAgriculturalProduct Seed) ; + +fun KenyanShilling : Ind UnitOfCurrency ; + +-- Khat is the class of PlantAgriculturalProducts +-- made from the leaves and buds of the staff tree, which +-- are chewed or brewed as a stimulating tea. +fun Khat : Class ; +fun Khat_Class : SubClass Khat PlantAgriculturalProduct ; + +-- KilowattHour is a UnitOfMeasure for +-- energy that represents 1000 Watts (1 kW) of power expended over one +-- hour (1 h) of time. This is the unit commonly used in commercial +-- power contexts. It is equivalent to 3,600,000 Joules. +fun KilowattHour : Ind CompositeUnitOfMeasure ; + + +fun KiribatiDollar : Ind UnitOfCurrency ; + +fun KuwaitiDinar : Ind UnitOfCurrency ; + +fun KyrgyzstaniSom : Ind UnitOfCurrency ; + +fun LambMeat : Class ; +fun LambMeat_Class : SubClass LambMeat Meat ; +fun Lambskin : Class ; +fun Lambskin_Class : SubClass Lambskin Pelt ; +fun LaotianKip : Ind UnitOfCurrency ; + +fun LatvianLats : Ind UnitOfCurrency ; + +fun LeadIndustry : Ind IndustryAttribute ; + +fun LeadManufacturing : Ind IndustryAttribute ; + +fun LeadMetal : Class ; +fun LeadMetal_Class : SubClass LeadMetal MetalProduct ; +fun LeadOre : Class ; +fun LeadOre_Class : SubClass LeadOre (both Mineral MiningProduct) ; + +fun LeadOreMining : Ind IndustryAttribute ; + +fun LeadProduct : Class ; +fun LeadProduct_Class : SubClass LeadProduct (both LeadMetal ManufacturedProduct) ; + +fun Leaf : Class ; +fun Leaf_Class : SubClass Leaf AnatomicalStructure ; +fun LeafyGreenVegetable : Class ; +fun LeafyGreenVegetable_Class : SubClass LeafyGreenVegetable (both GroceryProduce Vegetable) ; + +-- LeastDevelopedCountry +-- is a sub_classification of LessDevelopedCountry characterizing +-- those countries that have no significant economic growth, a per +-- capita GDP of less than 1,000 UnitedStatesDollars, and low +-- literacy. Also known as 'undeveloped countries'. +fun LeastDevelopedCountry : Ind EconomicDevelopmentLevel ; + + +fun LebanesePound : Ind UnitOfCurrency ; + +fun Legume : Class ; +fun Legume_Class : SubClass Legume (both PlantAgriculturalProduct Vegetable) ; + +fun Lemon : Class ; +fun Lemon_Class : SubClass Lemon CitrusFruit ; +fun Lentil : Class ; +fun Lentil_Class : SubClass Lentil Pulse ; +fun LesothoLoti : Ind UnitOfCurrency ; + +-- LessDevelopedCountry (LDC) is +-- the Attribute used to describe the bottom group in the hierarchy +-- of UNEconomicDevelopmentLevels. Less developed countries are countries +-- or dependent areas with low levels of production, living standards, +-- and technology. Per capita GDP (perCapitaGDPInPeriod), or GDI +-- (Gross Domestic Income), is generally less than 5,000 and often +-- below 1,500. Subgroups of LDC, however, include countries that have +-- higher per capita incomes, as well as advanced technology, and rapid rates +-- of growth. Subgroups of LDC include: advanced developing countries, +-- the Four Dragons (also known as Four Tigers), LeastDevelopedCountry +-- (LLDCs), low_income countries, middle_income countries, newly +-- industrializing economies (NIEs), the South (from the location of +-- most LDC countries, relative to Northern developed countries), Third +-- World (obsolete), UnderdevelopedCountry, UndevelopedCountry. +fun LessDevelopedCountry : Ind UNEconomicDevelopmentLevel ; + + +fun LiberianDollar : Ind UnitOfCurrency ; + +fun LibyanDinar : Ind UnitOfCurrency ; + +fun Lime : Class ; +fun Lime_Class : SubClass Lime CitrusFruit ; +fun LithuanianLitas : Ind UnitOfCurrency ; + +-- LowIncomeCountry is an +-- Attribute representing the World Bank classification for any country +-- where the per capita GNI is 755 or below in UnitedStatesDollars. +fun LowIncomeCountry : Ind WorldBankGNIPerCapitaLevel ; + + +-- LowerMiddleIncomeCountry is an Attribute representing the World +-- Bank classification for any country where the per capita GNI is +-- between 756 and 2,995 (inclusive) in UnitedStatesDollars. +fun LowerMiddleIncomeCountry : Ind WorldBankGNIPerCapitaLevel ; + + +-- A ManufacturedProduct derived from Timber. +fun Lumber : Class ; +fun Lumber_Class : SubClass Lumber (both DurableGood ForestProduct) ; + + +fun LumberIndustry : Ind IndustryAttribute ; + +fun LumberPlywoodMillworkAndWoodPanelWholesalers : Ind IndustryAttribute ; + +fun LuxembourgFranc : Ind UnitOfCurrency ; + +fun MacademiaNut : Class ; +fun MacademiaNut_Class : SubClass MacademiaNut EdibleNut ; +fun MacaoPataca : Ind UnitOfCurrency ; + +fun Mace : Class ; +fun Mace_Class : SubClass Mace Spice ; +fun MachineTool : Class ; +fun MachineTool_Class : SubClass MachineTool Machinery ; +fun Machine_Machinery : SubClass Machine Machinery ; + +-- Machinery is the class of products +-- that includes Machines, tools, and machine parts used in industrial +-- or other commercial processes. +fun Machinery : Class ; +fun Machinery_Class : SubClass Machinery (both Device (both DurableGood IndustrialSupply)) ; + + +fun MadagascarFranc : Ind UnitOfCurrency ; + +fun MajorAppliance : Class ; +fun MajorAppliance_Class : SubClass MajorAppliance (both Device DurableGood) ; + +-- MajorIndustrialEconomy is an +-- Attribute used to describe countries with the largest, industrialized, +-- non_communist economies in the world. +fun MajorIndustrialEconomy : Ind EconomicDevelopmentLevel ; + + +fun MalawianKwacha : Ind UnitOfCurrency ; + +fun MalaysianRinggit : Ind UnitOfCurrency ; + +fun MaliFranc : Ind UnitOfCurrency ; + +fun MalteseLira : Ind UnitOfCurrency ; + +fun Mango : Class ; +fun Mango_Class : SubClass Mango (both GroceryProduce TropicalFruit) ; + +fun ManufacturingBasedEconomy : Ind FinancialSectorAttribute ; + +-- MarketEconomy is an Attribute that +-- describes an economy in which market forces, specifically supply and +-- demand, provide input for privately managed decisions about pricing +-- and production of goods. +fun MarketEconomy : Ind EconomicSystemAttribute ; + + +fun MarketSocialism : Ind EconomicSystemAttribute ; + +fun MauritanianOuguiya : Ind UnitOfCurrency ; + +fun MauritianRupee : Ind UnitOfCurrency ; + +fun Meat_AnimalAgriculturalProduct : SubClass Meat AnimalAgriculturalProduct ; + +fun Melon : Class ; +fun Melon_Class : SubClass Melon (both Fruit GroceryProduce) ; + +fun MetalProduct : Class ; +fun MetalProduct_Class : SubClass MetalProduct DurableGood ; +fun MetallurgyIndustry : Ind IndustryAttribute ; + +fun MexicanPeso : Ind UnitOfCurrency ; + +fun Milk_DairyProduct : SubClass Milk DairyProduct ; + +fun MilletFarming : Ind IndustryAttribute ; + +fun MilletGrain : Class ; +fun MilletGrain_Class : SubClass MilletGrain CerealGrain ; +fun Millwork : Ind IndustryAttribute ; + +fun MiningExceptOilAndGas : Ind IndustryAttribute ; + +fun MiningIndustry : Ind IndustryAttribute ; + +-- MixedEconomy is the Attribute +-- of a country whose economy has elements of more than one pure +-- economic system, e.g., a market economy with government welfare +-- for unemployed workers. A mixed_economy country may be a +-- CountryInTransition, as from a prior communist economy to +-- capitalism, but a mixed economy may also be a stable combination +-- of different economic approaches in different areas of a national +-- economy, e.g., nationally managed health care and education systems +-- in an otherwise private_enterprise economy. +fun MixedEconomy : Ind EconomicSystemAttribute ; + + +fun MoldovanLeu : Ind UnitOfCurrency ; + +fun MongolianTugrik : Ind UnitOfCurrency ; + +fun MoroccanDirham : Ind UnitOfCurrency ; + +-- MotorOil is the subclass of PetroleumLubricants +-- that are used to lubricate motors. +fun MotorOil : Class ; +fun MotorOil_Class : SubClass MotorOil PetroleumLubricant ; + +fun MotorVehicleAndMotorVehiclePartsAndSuppliesWholesalers : Ind IndustryAttribute ; + +fun MotorVehicleAndPartsDealers : Ind IndustryAttribute ; + +fun MotorVehicleBodyAndTrailerManufacturing : Ind IndustryAttribute ; + +fun MotorVehicleIndustry : Ind IndustryAttribute ; + +fun MotorVehicleManufacturing : Ind IndustryAttribute ; + +fun MotorVehiclePartsManufacturing : Ind IndustryAttribute ; + +fun MozambiqueMetical : Ind UnitOfCurrency ; + +fun MulberryLeaf : Class ; +fun MulberryLeaf_Class : SubClass MulberryLeaf (both Fodder (both Leaf PlantAgriculturalProduct)) ; + +fun Mutton : Class ; +fun Mutton_Class : SubClass Mutton Meat ; +fun MyanmarKyat : Ind UnitOfCurrency ; + +-- Narcotic is a subclass of addictive +-- BiologicallyActiveSubstances that have damping effects on the +-- nervous system and may be fatal in large doses. +fun Narcotic : Class ; +fun Narcotic_Class : SubClass Narcotic ControlledSubstance ; + +-- NationalizedIndustryEconomy +-- is an Attribute describing an economy in which the major industries, +-- such as energy and transportation, are owned by the national government. +fun NationalizedIndustryEconomy : Ind EconomicSystemAttribute ; + + +fun NaturalGasDistribution : Ind IndustryAttribute ; + +fun NaturalGasIndustry : Ind IndustryAttribute ; + +fun NaturalGasLiquidExtraction : Ind IndustryAttribute ; + +-- NaturalRubber is the subclass of +-- PlantAgriculturalProducts made from the sap of plant species +-- which produce natural polymers. +fun NaturalRubber : Class ; +fun NaturalRubber_Class : SubClass NaturalRubber PlantAgriculturalProduct ; + +fun NepaleseRupee : Ind UnitOfCurrency ; + +fun NewZealandDollar : Ind UnitOfCurrency ; + +-- NewlyIndustrializingEconomy is an Attribute used to describe a +-- LessDevelopedCountry (LDC) that is undergoing rapid industrial +-- development. Also called 'newly industrializing economy' (or +-- 'country'). +fun NewlyIndustrializingEconomy : Ind EconomicDevelopmentLevel ; + + +fun NicaraguanCordoba : Ind UnitOfCurrency ; + +fun NickelOre : Class ; +fun NickelOre_Class : SubClass NickelOre (both Mineral MiningProduct) ; + +fun NigerFranc : Ind UnitOfCurrency ; + +fun NigerianNaira : Ind UnitOfCurrency ; + +fun NorfolkIslandPineSeed : Class ; +fun NorfolkIslandPineSeed_Class : SubClass NorfolkIslandPineSeed (both PlantAgriculturalProduct Seed) ; + +fun NorthKoreanWon : Ind UnitOfCurrency ; + +fun NorwegianKrone : Ind UnitOfCurrency ; + +fun NuclearPowerGeneration : Ind PowerGeneration ; + +fun Nut : Class ; +fun Nut_Class : SubClass Nut (both PlantAgriculturalProduct ReproductiveBody) ; + +fun Nutmeg : Class ; +fun Nutmeg_Class : SubClass Nutmeg Spice ; +fun OatFarming : Ind IndustryAttribute ; + +fun OatGrain : Class ; +fun OatGrain_Class : SubClass OatGrain CerealGrain ; +fun OffshoreBankingSectorEconomy : Ind FinancialSectorAttribute ; + +fun OffshoreFinancialSectorEconomy : Ind FinancialSectorAttribute ; + +fun Oilseed : Class ; +fun Oilseed_Class : SubClass Oilseed (both PlantAgriculturalProduct Seed) ; + +-- Okoume (Aucoumea klaineana), also called +-- 'gaboon', is a wood of West African origin. +fun Okoume : Class ; +fun Okoume_Class : SubClass Okoume Hardwood ; + +fun Olive : Class ; +fun Olive_Class : SubClass Olive (both Fruit GroceryProduce) ; + +fun OliveOil : Class ; +fun OliveOil_Class : SubClass OliveOil VegetableOil ; +fun OmaniRiyal : Ind UnitOfCurrency ; + +fun OpiumPoppy : Class ; +fun OpiumPoppy_Class : SubClass OpiumPoppy (both PlantAgriculturalProduct Poppy) ; + +fun OpiumPoppyFarming : Class ; +fun OpiumPoppyFarming_Class : SubClass OpiumPoppyFarming Farming ; +fun Opium_Narcotic : SubClass Opium Narcotic ; + +fun Opium_PlantAgriculturalProduct : SubClass Opium PlantAgriculturalProduct ; + +fun Orchid : Class ; +fun Orchid_Class : SubClass Orchid (both FloweringPlant PlantAgriculturalProduct) ; + +fun OrnamentalFish : Class ; +fun OrnamentalFish_Class : SubClass OrnamentalFish (both AnimalAgriculturalProduct Fish) ; + +-- OtherSourcePowerGeneration +-- represents all non_fossil fuel, non_hydroelectric, and non_nuclear power +-- generation processes, e.g., wind power generation. +fun OtherSourcePowerGeneration : Ind PowerGeneration ; + + +-- PPPBasedEconomicValuation +-- is a class of relations used to state international economic information +-- in U.S. dollar amounts. The U.S. dollar amounts are derived from Purchasing +-- Power Parity conversions of economic totals (e.g., GDP) given in local +-- currency. This contrasts with a method of conversion based on currency +-- exchange rates. The PPP method is used by the CIA World Fact Book for +-- the purpose of presenting economic data for all countries covered. Their +-- basis for PPP dollar price weights is the UN International Comparison Program +-- (UNICP) and the work of Professors Robert Summers and Alan Heston of the +-- University of Pennsylvania. +fun PPPBasedEconomicValuation : Class ; + + +-- PackagedBeverageProduct is the +-- class of Products that consist of a BeverageProduct in some kind of +-- packaging, including cups and bottles. +fun PackagedBeverageProduct : Class ; +fun PackagedBeverageProduct_Class : SubClass PackagedBeverageProduct Product ; + +-- PackagedFoodProduct is the +-- class of Products that consist of a FoodProduct in a package. +fun PackagedFoodProduct : Class ; +fun PackagedFoodProduct_Class : SubClass PackagedFoodProduct Product ; + +fun PaddyRice : Class ; +fun PaddyRice_Class : SubClass PaddyRice CerealGrass ; +fun PakistaniRupee : Ind UnitOfCurrency ; + +fun PalmKernel : Class ; +fun PalmKernel_Class : SubClass PalmKernel PlantAgriculturalProduct ; +fun PalmOil : Class ; +fun PalmOil_Class : SubClass PalmOil VegetableOil ; +fun PalmOilNut : Class ; +fun PalmOilNut_Class : SubClass PalmOilNut (both Nut PlantAgriculturalProduct) ; + +fun PanamanianBalboa : Ind UnitOfCurrency ; + +fun Papaw : Class ; +fun Papaw_Class : SubClass Papaw (both GroceryProduce TropicalFruit) ; + +fun Papaya : Class ; +fun Papaya_Class : SubClass Papaya (both GroceryProduce TropicalFruit) ; + +fun PapuanKina : Ind UnitOfCurrency ; + +fun ParaguayanGuarani : Ind UnitOfCurrency ; + +fun PartialMarketEconomy : Ind EconomicSystemAttribute ; + +fun PassionFruit : Class ; +fun PassionFruit_Class : SubClass PassionFruit (both GroceryProduce TropicalFruit) ; + +fun Pea_Legume : SubClass Pea Legume ; + +fun Peanut : Class ; +fun Peanut_Class : SubClass Peanut (both EdibleNut GroceryProduce) ; + +fun Pearl : Class ; +fun Pearl_Class : SubClass Pearl Jewelry ; +fun PecanNut : Class ; +fun PecanNut_Class : SubClass PecanNut EdibleNut ; +-- Pelt is the subclass of AnimalSkin +-- that comprises the pelts or hides of animals that are used in +-- the manufacture of wearable or household items. +fun Pelt : Class ; +fun Pelt_Class : SubClass Pelt (both AnimalAgriculturalProduct AnimalSkin) ; + + +fun PerfumeEssence : Class ; +fun PerfumeEssence_Class : SubClass PerfumeEssence PlantAgriculturalProduct ; +-- PersonalAdornment is the subclass +-- of WearableItems that are worn primarily for decorative purposes. +fun PersonalAdornment : Class ; +fun PersonalAdornment_Class : SubClass PersonalAdornment WearableItem ; + +fun PeruvianInti : Ind UnitOfCurrency ; + +-- Petroleum is commonly known as crude +-- oil. It is a thick, dark brown or greenish flammable liquid, which exists +-- in the upper strata of some areas of the Earth's crust. It consists of a +-- complex mixture of various hydrocarbons, largely of the methane series, +-- but may vary much in appearance, composition, and purity. (from Wikipedia) +-- Crude oil has not be subject to the distillation that will yield a +-- RefinedPetroleumProduct. +fun Petroleum : Class ; +fun Petroleum_Class : SubClass Petroleum PetroleumProduct ; + +fun PetroleumBasedEconomy : Ind FinancialSectorAttribute ; + +fun PetroleumIndustry : Ind IndustryAttribute ; + +-- PetroleumLubricant is the subclass of +-- RefinedPetroleumProducts that are lubricants. +fun PetroleumLubricant : Class ; +fun PetroleumLubricant_Class : SubClass PetroleumLubricant RefinedPetroleumProduct ; + +fun PetroleumProductsManufacturing : Ind IndustryAttribute ; + +fun PetroleumRefineries : Ind IndustryAttribute ; + +fun PharmaceuticalProduct : Class ; +fun PharmaceuticalProduct_Class : SubClass PharmaceuticalProduct ManufacturedProduct ; +fun PhilippinePeso : Ind UnitOfCurrency ; + +fun PhosphoricAcid : Class ; +fun PhosphoricAcid_Class : SubClass PhosphoricAcid CompoundSubstance ; +fun Pineapple : Class ; +fun Pineapple_Class : SubClass Pineapple (both GroceryProduce TropicalFruit) ; + +fun PipelineTransportationOfNaturalGas : Ind IndustryAttribute ; + +fun Plantain : Class ; +fun Plantain_Class : SubClass Plantain (both GroceryProduce TropicalFruit) ; + +fun Plastic : Class ; +fun Plastic_Class : SubClass Plastic ManufacturedProduct ; +fun PolishZloty : Ind UnitOfCurrency ; + +fun Poppy : Class ; +fun Poppy_Class : SubClass Poppy FloweringPlant ; +fun PortugueseEscudo : Ind UnitOfCurrency ; + +fun PotatoTuber : Class ; +fun PotatoTuber_Class : SubClass PotatoTuber (both EdibleTuber GroceryProduce) ; + +-- PowerGeneration is the class of +-- Processes in which some kind of power is generated either for immediate +-- use in a Device or to be stored for future use. +fun PowerGeneration : Class ; +fun PowerGeneration_Class : SubClass PowerGeneration Process ; + +-- PreciousGemstone is the class of +-- Minerals and fossilized substances that have great monetary value. +fun PreciousGemstone : Class ; +fun PreciousGemstone_Class : SubClass PreciousGemstone (both Gemstone MiningProduct) ; + + +fun PrimarySmeltingAndRefiningOfCopper : Ind IndustryAttribute ; + +-- PrivateEnterpriseEconomy is +-- the Attribute used to characterize a country in which private +-- enterprise is the main source of economic wealth. +fun PrivateEnterpriseEconomy : Ind EconomicSystemAttribute ; + + +-- PrivatizingEconomy is an +-- Attribute that describes a country in which formerly government_ +-- owned industries are being transferred into private holdings. +fun PrivatizingEconomy : Ind EconomicSystemAttribute ; + + +-- ProductPackage is the class of objects +-- designed to contain Products for shipping and sale. +fun ProductPackage : Class ; +fun ProductPackage_Class : SubClass ProductPackage Container ; + +fun Pulse : Class ; +fun Pulse_Class : SubClass Pulse Legume ; +-- PureCapitalistEconomy is an +-- Attribute representing a capitalist economy that has no admixture of +-- socialism. +fun PureCapitalistEconomy : Ind EconomicSystemAttribute ; + + +-- PureSocialistEconomy is an +-- Attribute representing a socialist economy that has no admixture of +-- capitalism. +fun PureSocialistEconomy : Ind EconomicSystemAttribute ; + + +-- Pyrethrum is the subclass of +-- BiologicallyActiveSubstance consisting of insecticidal +-- derivations from the flower heads of Chrysanthemums. +fun Pyrethrum : Class ; +fun Pyrethrum_Class : SubClass Pyrethrum (both BiologicallyActiveSubstance PlantAgriculturalProduct) ; + + +fun QatariRiyal : Ind UnitOfCurrency ; + +fun Quinine : Class ; +fun Quinine_Class : SubClass Quinine PlantAgriculturalProduct ; +fun ReadyMixConcrete : Class ; +fun ReadyMixConcrete_Class : SubClass ReadyMixConcrete Concrete ; +fun RefrigeratedWarehousingAndStorage : Ind IndustryAttribute ; + +fun RefrigerationEquipmentAndSuppliesWholesalers : Ind IndustryAttribute ; + +fun RefrigerationEquipmentManufacturing : Ind IndustryAttribute ; + +fun RefrigeratorAndFreezerIndustry : Ind IndustryAttribute ; + +fun Refrigerator_MajorAppliance : SubClass Refrigerator MajorAppliance ; + +fun Reindeer : Class ; +fun Reindeer_Class : SubClass Reindeer (both HoofedMammal Livestock) ; + +fun RiceFarming : Ind IndustryAttribute ; + +fun RomanianLeu : Ind UnitOfCurrency ; + +fun RootStarch : Class ; +fun RootStarch_Class : SubClass RootStarch (both FruitOrVegetable PlantAgriculturalProduct) ; + +fun RootVegetable : Class ; +fun RootVegetable_Class : SubClass RootVegetable (both FruitOrVegetable PlantAgriculturalProduct) ; + +fun RussianRuble : Ind UnitOfCurrency ; + +fun RwandaFranc : Ind UnitOfCurrency ; + +fun RyeFarming : Ind IndustryAttribute ; + +fun RyeGrain : Class ; +fun RyeGrain_Class : SubClass RyeGrain CerealGrain ; +fun Salmon : Class ; +fun Salmon_Class : SubClass Salmon FoodFish ; +fun SaoThomeEPrincipeDobra : Ind UnitOfCurrency ; + +fun SaudiArabianRiyal : Ind UnitOfCurrency ; + +fun Seafood : Class ; +fun Seafood_Class : SubClass Seafood Meat ; +fun Seed_FruitOrVegetable : SubClass Seed FruitOrVegetable ; + +-- SemipreciousGemstone is the +-- class of Minerals and other substances that have significant +-- monetary value, but less than those of the class PreciousGemstone. +fun SemipreciousGemstone : Class ; +fun SemipreciousGemstone_Class : SubClass SemipreciousGemstone (both Gemstone MiningProduct) ; + + +fun SenegaleseFranc : Ind UnitOfCurrency ; + +fun SenepolCattle : Class ; +fun SenepolCattle_Class : SubClass SenepolCattle Cattle ; +fun ServiceBasedEconomy : Ind FinancialSectorAttribute ; + +fun ServiceSector : Ind IndustryAttribute ; + +fun Sesame : Class ; +fun Sesame_Class : SubClass Sesame PlantAgriculturalProduct ; +fun SeychellesRupee : Ind UnitOfCurrency ; + +fun SheaNut : Class ; +fun SheaNut_Class : SubClass SheaNut EdibleNut ; +fun Sheep_Livestock : SubClass Sheep Livestock ; + +fun Sheepskin : Class ; +fun Sheepskin_Class : SubClass Sheepskin Pelt ; +fun Shellfish : Class ; +fun Shellfish_Class : SubClass Shellfish Seafood ; +fun Shrimp : Class ; +fun Shrimp_Class : SubClass Shrimp Shellfish ; +fun SierraLeoneLeone : Ind UnitOfCurrency ; + +fun SingaporeDollar : Ind UnitOfCurrency ; + +fun SisalFiber : Class ; +fun SisalFiber_Class : SubClass SisalFiber PlantAgriculturalProduct ; +fun SlovakianKoruna : Ind UnitOfCurrency ; + +-- Soap is a Surfactant Cleaning mixture used for +-- personal or minor cleaning. It usually comes in solid moulded form. In +-- the developed world, synthetic detergents have superseded soap as a +-- laundry aid. Many soaps are mixtures of sodium or potassium salts of +-- fatty acids which can be derived from oils or fats by reacting them with +-- an alkali (such as sodium or potassium hydroxide) at 80_100 degrees Celsius in a +-- process known as saponification. (from Wikipedia) +fun Soap : Class ; +fun Soap_Class : SubClass Soap Surfactant ; + +-- SocialistEconomy is the Attribute +-- used to characterize a country in which there is government ownership +-- or direction of the means of production and distribution. +fun SocialistEconomy : Ind EconomicSystemAttribute ; + + +fun SomalianShilling : Ind UnitOfCurrency ; + +fun Sorghum : Class ; +fun Sorghum_Class : SubClass Sorghum CerealGrass ; +fun SorghumFarming : Ind IndustryAttribute ; + +fun SorghumGrain : Class ; +fun SorghumGrain_Class : SubClass SorghumGrain CerealGrain ; +fun SouthAfricanRand : Ind UnitOfCurrency ; + +fun SouthKoreanWon : Ind UnitOfCurrency ; + +fun Soya : Class ; +fun Soya_Class : SubClass Soya PlantAgriculturalProduct ; +fun Soybean : Class ; +fun Soybean_Class : SubClass Soybean Bean ; +fun SpanishPeseta : Ind UnitOfCurrency ; + +fun Spice : Class ; +fun Spice_Class : SubClass Spice (both FruitOrVegetable PlantAgriculturalProduct) ; + +fun SpicePepper : Class ; +fun SpicePepper_Class : SubClass SpicePepper Spice ; +fun Squash : Class ; +fun Squash_Class : SubClass Squash (both GroceryProduce Vegetable) ; + +fun SriLankanRupee : Ind UnitOfCurrency ; + +fun SteelForging : Ind IndustryAttribute ; + +fun SteelFoundriesExceptInvestment : Ind IndustryAttribute ; + +fun SteelIndustry : Ind IndustryAttribute ; + +fun SteelInvestmentFoundries : Ind IndustryAttribute ; + +fun SteelMills : Ind IndustryAttribute ; + +fun SteelProductManufacturingFromPurchasedSteel : Ind IndustryAttribute ; + +fun Steel_MetalProduct : SubClass Steel MetalProduct ; + +fun SubsistenceAgricultureEconomy : Ind FinancialSectorAttribute ; + +fun SudanesePound : Ind UnitOfCurrency ; + +fun SugarBeet : Class ; +fun SugarBeet_Class : SubClass SugarBeet Vegetable ; +fun SugarCane : Class ; +fun SugarCane_Class : SubClass SugarCane (both GroceryProduce Vegetable) ; + +fun Sugar_PlantAgriculturalProduct : SubClass Sugar PlantAgriculturalProduct ; + +fun Sugar_Substance : SubClass Sugar Substance ; + +fun Sunflower : Class ; +fun Sunflower_Class : SubClass Sunflower (both FloweringPlant PlantAgriculturalProduct) ; + +fun SunflowerSeed : Class ; +fun SunflowerSeed_Class : SubClass SunflowerSeed (both PlantAgriculturalProduct Seed) ; + +fun SupportActivitiesForMetalMining : Ind IndustryAttribute ; + +fun SupportActivitiesForNonmetallicMineralsExceptFuels : Ind IndustryAttribute ; + +fun SupportActivitiesForOilOperations : Ind IndustryAttribute ; + +fun SurinameseGuilder : Ind UnitOfCurrency ; + +fun SwazilandLilangeni : Ind UnitOfCurrency ; + +fun SwedishKrona : Ind UnitOfCurrency ; + +fun SweetPepper : Class ; +fun SweetPepper_Class : SubClass SweetPepper (both GroceryProduce Vegetable) ; + +fun SweetPotatoTuber : Class ; +fun SweetPotatoTuber_Class : SubClass SweetPotatoTuber (both EdibleTuber GroceryProduce) ; + +fun SwissFranc : Ind UnitOfCurrency ; + +fun SyrianPound : Ind UnitOfCurrency ; + +fun TaiwanDollar : Ind UnitOfCurrency ; + +fun TajikSomoni : Ind UnitOfCurrency ; + +fun TajikSomoniCoin : Class ; +fun TajikSomoniCoin_Class : SubClass TajikSomoniCoin CurrencyCoin ; +fun TajikistaniRuble : Ind UnitOfCurrency ; + +fun TanzanianShilling : Ind UnitOfCurrency ; + +fun TaroTuber : Class ; +fun TaroTuber_Class : SubClass TaroTuber (both EdibleTuber GroceryProduce) ; + +fun TaxHavenEconomy : Ind FinancialSectorAttribute ; + +fun TeaLeaf : Class ; +fun TeaLeaf_Class : SubClass TeaLeaf TeaPlantAerialPart ; +-- TeaPlantAerialPart is the +-- class of all parts of the tea plant from which tea may be made, +-- including leaves, stems, and twigs. +fun TeaPlantAerialPart : Class ; +fun TeaPlantAerialPart_Class : SubClass TeaPlantAerialPart FruitOrVegetable ; + +fun TextileIndustry : Ind IndustryAttribute ; + +fun TextileMills : Ind IndustryAttribute ; + +fun TextileProduct : Class ; +fun TextileProduct_Class : SubClass TextileProduct (both Artifact ManufacturedProduct) ; + +fun TextileProductMills : Ind IndustryAttribute ; + +fun ThaiBaht : Ind UnitOfCurrency ; + +-- Timber is wood from trees that is +-- suitable for use for building or other human purposes. +fun Timber : Class ; +fun Timber_Class : SubClass Timber (both CompoundSubstance ForestProduct) ; + + +fun Tobacco_PlantAgriculturalProduct : SubClass Tobacco PlantAgriculturalProduct ; + +fun TogoFranc : Ind UnitOfCurrency ; + +fun Tomato : Class ; +fun Tomato_Class : SubClass Tomato (both Fruit GroceryProduce) ; + +fun TonganPaanga : Ind UnitOfCurrency ; + +fun TourismBasedEconomy : Ind FinancialSectorAttribute ; + +-- TourismIndustry is an Attribute that +-- describes organizations that provide services or products for travellers +-- who stay temporarily in a region to experience local attractions. There +-- is an overlap between TourismIndustry and each of the following +-- industries: TravelArrangementAndReservationServices, +-- TravelerAccommodation, MuseumsHistoricalSitesAndSimilarInstitutions, +-- AmusementGamblingAndRecreationIndustries, and +-- ArtsEntertainmentAndRecreation. +fun TourismIndustry : Ind IndustryAttribute ; + + +fun TradeBasedEconomy : Ind FinancialSectorAttribute ; + +fun TrinidadAndTobagoDollar : Ind UnitOfCurrency ; + +fun TropicalFruit : Class ; +fun TropicalFruit_Class : SubClass TropicalFruit (both Fruit GroceryProduce) ; + +fun TunisianDinar : Ind UnitOfCurrency ; + +fun TurkeyBird : Class ; +fun TurkeyBird_Class : SubClass TurkeyBird Poultry ; +fun TurkeyMeat : Class ; +fun TurkeyMeat_Class : SubClass TurkeyMeat Meat ; +fun TurkishLira : Ind UnitOfCurrency ; + +fun TurkmenManat : Ind UnitOfCurrency ; + +fun Turnip : Class ; +fun Turnip_Class : SubClass Turnip (both GroceryProduce RootVegetable) ; + +fun Turtle : Class ; +fun Turtle_Class : SubClass Turtle (both Livestock Reptile) ; + +fun TuvaluDollar : Ind UnitOfCurrency ; + +fun TwoTierLaborMarketEconomy : Ind FinancialSectorAttribute ; + +-- UNEconomicDevelopmentLevel +-- is a subclass of EconomicDevelopmentLevel containing terms used to +-- represent economic development classifications used by UnitedNations +-- agencies. The top level of this classification scheme includes the +-- concepts of DevelopedCountry, FormerSovietOrEasternEuropeanCountry, +-- and LessDevelopedCountry. +fun UNEconomicDevelopmentLevel : Class ; +fun UNEconomicDevelopmentLevel_Class : SubClass UNEconomicDevelopmentLevel EconomicDevelopmentLevel ; + +fun UgandanShilling : Ind UnitOfCurrency ; + +fun UkranianHryvnia : Ind UnitOfCurrency ; + +-- UnderdevelopedCountry is an +-- Attribute describing less developed countries that have potential +-- for above_average economic growth. See also LessDevelopedCountry. +fun UnderdevelopedCountry : Ind EconomicDevelopmentLevel ; + + +fun UnitedArabEmirateDirham : Ind UnitOfCurrency ; + +fun UnitedStatesCentCoin : Class ; +fun UnitedStatesCentCoin_Class : SubClass UnitedStatesCentCoin CurrencyCoin ; +fun UnitedStatesDollarBill : Class ; +fun UnitedStatesDollarBill_Class : SubClass UnitedStatesDollarBill CurrencyBill ; +fun UnitedStatesFiveCentCoin : Class ; +fun UnitedStatesFiveCentCoin_Class : SubClass UnitedStatesFiveCentCoin CurrencyCoin ; +fun UnitedStatesQuarterCoin : Class ; +fun UnitedStatesQuarterCoin_Class : SubClass UnitedStatesQuarterCoin CurrencyCoin ; +fun UnitedStatesTenCentCoin : Class ; +fun UnitedStatesTenCentCoin_Class : SubClass UnitedStatesTenCentCoin CurrencyCoin ; +-- LowerMiddleIncomeCountry is an Attribute representing the World Bank +-- classification for any country where the per capita GNI is +-- between 2,996 and 9,266 (inclusive) in UnitedStatesDollars. +fun UpperMiddleIncomeCountry : Ind WorldBankGNIPerCapitaLevel ; + + +fun UruguayanPeso : Ind UnitOfCurrency ; + +fun UzbekistaniSom : Ind UnitOfCurrency ; + +fun Vanilla : Class ; +fun Vanilla_Class : SubClass Vanilla Spice ; +fun Veal : Class ; +fun Veal_Class : SubClass Veal Meat ; +fun Vegetable : Class ; +fun Vegetable_Class : SubClass Vegetable FruitOrVegetable ; +fun VegetableFarming : Ind IndustryAttribute ; + +fun VegetableOil : Class ; +fun VegetableOil_Class : SubClass VegetableOil PlantAgriculturalProduct ; +fun VegetableOilIndustry : Ind IndustryAttribute ; + +fun VenezuelanBolivar : Ind UnitOfCurrency ; + +fun VietnameseDong : Ind UnitOfCurrency ; + +fun Walnut : Class ; +fun Walnut_Class : SubClass Walnut EdibleNut ; +fun WaterBuffalo : Class ; +fun WaterBuffalo_Class : SubClass WaterBuffalo (both HoofedMammal Livestock) ; + +fun WaterBuffaloMeat : Class ; +fun WaterBuffaloMeat_Class : SubClass WaterBuffaloMeat Meat ; +fun Watermelon : Class ; +fun Watermelon_Class : SubClass Watermelon Melon ; +-- WelfareCapitalism is an Attribute +-- describing an economy in which the government provides economic subsidies +-- to unemployed or disabled individuals. +fun WelfareCapitalism : Ind EconomicSystemAttribute ; + + +fun WesternSamoaNtala : Ind UnitOfCurrency ; + +fun WheatFarming : Ind IndustryAttribute ; + +fun WineGrape : Class ; +fun WineGrape_Class : SubClass WineGrape PlantAgriculturalProduct ; +fun Wine_Beverage : SubClass Wine Beverage ; + +fun Wine_PlantAgriculturalProduct : SubClass Wine PlantAgriculturalProduct ; + +fun WoodProduct : Class ; +fun WoodProduct_Class : SubClass WoodProduct ForestProduct ; +fun WoodProductManufacturing : Ind IndustryAttribute ; + +fun WoolFiber : Class ; +fun WoolFiber_Class : SubClass WoolFiber AnimalAgriculturalProduct ; +-- WorldBankGNIPerCapitaLevel +-- is the subclass of EconomicDevelopmentLevel containing attributes +-- that characterize countries according to their per capita gross national +-- income (GNI), as determined by the WorldBankGroup. The World Bank +-- uses the Atlas method for making cross_country comparisons of national +-- income. +fun WorldBankGNIPerCapitaLevel : Class ; +fun WorldBankGNIPerCapitaLevel_Class : SubClass WorldBankGNIPerCapitaLevel EconomicDevelopmentLevel ; + +fun YamTuber : Class ; +fun YamTuber_Class : SubClass YamTuber (both EdibleTuber GroceryProduce) ; + +fun YemeniRial : Ind UnitOfCurrency ; + +fun YlangYlang : Class ; +fun YlangYlang_Class : SubClass YlangYlang PerfumeEssence ; +fun Yugoslavia : Ind Nation ; + +fun YugoslavianDinar : Ind UnitOfCurrency ; + +fun ZaireSezaire : Ind UnitOfCurrency ; + +fun ZambianKwacha : Ind UnitOfCurrency ; + +fun ZimbabweanDollar : Ind UnitOfCurrency ; + +fun ZincIndustry : Ind IndustryAttribute ; + +fun ZincManufacturing : Ind IndustryAttribute ; + +fun ZincOre : Class ; +fun ZincOre_Class : SubClass ZincOre (both Mineral MiningProduct) ; + +fun ZincOreMining : Ind IndustryAttribute ; + +fun ZincProduct : Class ; +fun ZincProduct_Class : SubClass ZincProduct (both ManufacturedProduct MetalProduct) ; + +-- (agriculturalProductType ?AREA ?TYPE) means that the +-- GeopoliticalArea ?AREA produces a crop or other +-- agricultural product of ?TYPE. +fun agriculturalProductType: El GeopoliticalArea -> Desc Object -> Formula ; + + +-- (agriculturalProductTypeByRank ?AREA ?TYPE ?NTH) means that the +-- GeopoliticalArea ?AREA produces a crop or other +-- agricultural product of ?TYPE, which is its ?NTH most important +-- crop. +fun agriculturalProductTypeByRank: El GeopoliticalArea -> Desc Object -> Desc PositiveInteger -> Formula ; + + +-- (annualElectricityConsumption ?AREA ?AMOUNT) means that the +-- GeopoliticalArea ?AREA uses ?AMOUNT of electricity (measured in +-- KilowattHours) annually. +fun annualElectricityConsumption : El GeopoliticalArea -> El PhysicalQuantity -> Formula ; + + +-- (annualElectricityExport ?AREA ?AMOUNT) means that the +-- GeopoliticalArea ?AREA exported the total ?AMOUNT of +-- electricity (measured in KilowattHours) annually. +fun annualElectricityExport : El GeopoliticalArea -> El PhysicalQuantity -> Formula ; + + +-- (annualElectricityImport ?AREA ?AMOUNT) means that the +-- GeopoliticalArea ?AREA imported the total ?AMOUNT of +-- electricity (measured in KilowattHours) annually. +fun annualElectricityImport : El GeopoliticalArea -> El PhysicalQuantity -> Formula ; + + +-- (annualElectricityProduction ?AREA ?AMOUNT) means that the amount of +-- electricity generated annually in the GeographicalArea ?AREA is +-- ?AMOUNT, measured in KilowattHours. +fun annualElectricityProduction : El GeopoliticalArea -> El PhysicalQuantity -> Formula ; + + +-- (annualExpendituresOfArea ?AREA ?AMOUNT) means that the annual +-- budgetary expenditures of the GeopoliticalArea ?AREA are ?AMOUNT, +-- calculated in U.S. dollars according to the currency exchange rate +-- method. +fun annualExpendituresOfArea : El GeopoliticalArea -> El CurrencyMeasure -> Formula ; + + +-- (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) means that +-- the annual budgetary expenditures of the GeopoliticalArea ?AREA are +-- ?AMOUNT for the annual TimeInterval indicated by ?PERIOD, calculated +-- in U.S. dollars according to the currency exchange rate method. +fun annualExpendituresOfAreaInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ; + + +-- (annualExportTotal ?AREA ?AMOUNT) means that the total +-- value of exports from the GeopoliticalArea ?AREA is ?AMOUNT +-- (in UnitedStatesDollars) annually. Export value is calculated +-- on a Free on Board (F.O.B.) basis. +fun annualExportTotal : El GeopoliticalArea -> El CurrencyMeasure -> Formula ; + + +-- (annualImportTotal ?AREA ?AMOUNT) means that the total +-- value of imports to the GeopoliticalArea ?AREA is ?AMOUNT (in +-- UnitedStatesDollars) annually. Import value is calculated on a Cost, +-- Insurance, and Freight (C.I.F.) or a Free on Board (F.O.B.) basis. +fun annualImportTotal : El GeopoliticalArea -> El CurrencyMeasure -> Formula ; + + +-- (annualRevenuesOfArea ?AREA ?AMOUNT) means that the annual budgetary +-- revenues of the GeopoliticalArea ?AREA are ?AMOUNT, calculated in U.S. +-- dollars according to the currency exchange rate method. +fun annualRevenuesOfArea : El GeopoliticalArea -> El CurrencyMeasure -> Formula ; + + +-- (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) means that the +-- annual budgetary revenues of the GeopoliticalArea ?AREA are ?AMOUNT +-- for the annual TimeInterval indicated by ?PERIOD, calculated in U.S. +-- dollars according to the currency exchange rate method. +fun annualRevenuesOfAreaInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ; + + +-- (capitalExpendituresOfArea ?AREA ?AMOUNT) means that the annual +-- capital expenditures of the GeopoliticalArea ?AREA are ?AMOUNT, +-- calculated in U.S. dollars according to the currency exchange rate +-- method. This figure is a portion of the annualExpendituresOfArea +-- for ?AREA. +fun capitalExpendituresOfArea : El GeopoliticalArea -> El CurrencyMeasure -> Formula ; + + +-- (capitalExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) means that +-- the annual capital expenditures of the GeopoliticalArea ?AREA are +-- ?AMOUNT for the annual TimeInterval indicated by ?PERIOD, calculated in +-- U.S. dollars according to the currency exchange rate method. This figure +-- is a portion of the annualExpendituresOfArea for ?AREA in ?PERIOD. +fun capitalExpendituresOfAreaInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ; + + +-- (currencyCode ?CODE ?UNIT) means +-- that ?CODE is the InternationalOrganizationForStandardization +-- (ISO) 4217 alphabetic currency code for the national +-- CurrencyMeasure ?UNIT. +fun currencyCode : El SymbolicString -> El UnitOfCurrency -> Formula ; + + +-- (currencyExchangePerUSDollar ?AMOUNT ?PERIOD) means that one +-- UnitedStatesDollar is worth ?AMOUNT (in a non_U.S. CurrencyMeasure), +-- during the TimeInterval indicated by ?PERIOD. The rate of exchange may +-- be based either on international market forces or official fiat. +fun currencyExchangePerUSDollar: El CurrencyMeasure -> Desc TimeInterval -> Formula ; + + +-- (currencyExchangeRate ?UNIT ?AMOUNT) means that the currency +-- denomination ?UNIT is worth ?AMOUNT (which is in another +-- CurrencyMeasure). +fun currencyExchangeRate : El UnitOfCurrency -> El CurrencyMeasure -> Formula ; + + +-- (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD) means that the +-- currency denomination ?UNIT is worth ?AMOUNT (which is expressed in another +-- UnitOfCurrency) during the TimeInterval indicated by ?PERIOD. +fun currencyExchangeRateInPeriod: El UnitOfCurrency -> El CurrencyMeasure -> Desc TimeInterval -> Formula ; + + +-- (currencyType ?AREA ?UNIT) means +-- that the official currency used in the GeopoliticalArea ?AREA +-- is the UnitOfMeasure ?UNIT. +fun currencyType : El GeopoliticalArea -> El UnitOfCurrency -> Formula ; + + +-- The currencyValue is a relation between +-- a physical instrument of currency, such as a bill or coin, and the +-- measure of its worth in a particular currency. +fun currencyValue: Desc Currency -> El CurrencyMeasure -> Formula ; + + +-- (economicAidDonated ?AGENT ?AMOUNT) means that the GeopoliticalArea +-- ?AREA donated ?AMOUNT of aid (valued in U.S. dollars) to developing +-- countries and multilateral organizations. This figure covers 'net +-- official development assistance' (ODA), which is net financial assistance +-- from nations belonging to the +-- OrganizationForEconomicCooperationAndDevelopment (OECD), with the main +-- goal of promoting economic development and welfare. Such aid contains a +-- grant element of at least 25%. This statistic does not cover private +-- flows of assistance or other official flows (OOF). +fun economicAidDonated : El GeopoliticalArea -> El CurrencyMeasure -> Formula ; + + +-- (economicAidDonatedInPeriod ?AGENT ?AMOUNT ?PERIOD) means that the +-- GeopoliticalArea ?AGENT donated ?AMOUNT of aid (valued in U.S. dollars) +-- to developing countries and multilateral organizations during the +-- TimeInterval indicated by ?PERIOD. This figure covers 'net official +-- development assistance' (ODA), which is net financial assistance from +-- nations belonging to the +-- OrganizationForEconomicCooperationAndDevelopment (OECD), with the main +-- goal of promoting economic development and welfare. Such aid contains a +-- grant element of at least 25%. This statistic does not cover private +-- flows of assistance or other official flows (OOF). +fun economicAidDonatedInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ; + + +-- (economicAidReceivedNet ?AREA ?AMOUNT) means that the +-- GeopoliticalArea ?AREA had a net inflow of Official Development Finance +-- (ODF) of ?AMOUNT. ODF includes funds from the World Bank, the IMF, other +-- international organizations, and individual donor nations, including both +-- grants and loans. The figure includes formal commitments of aid not yet +-- disbursed. The figure is the net amount of inflow after deducting +-- repayments, valued in U.S. dollars. +fun economicAidReceivedNet : El GeopoliticalArea -> El CurrencyMeasure -> Formula ; + + +-- (economicAidReceivedNetInPeriod ?AREA ?AMOUNT ?PERIOD) means that the +-- GeopoliticalArea ?AREA had a net inflow of Official Development Finance +-- (ODF) of ?AMOUNT during the TimeInterval indicated by ?PERIOD. ODF +-- includes funds from the World Bank, the IMF, other international +-- organizations, and individual donor nations, including both grants and +-- loans. The figure includes formal commitments of aid not yet disbursed. +-- The figure is the net amount of inflow after deducting repayments, +-- valued in U.S. dollars. +fun economicAidReceivedNetInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ; + + +-- (economyType ?POLITY ?TYPE) means that the +-- GeopoliticalArea ?POLITY has an economic system of TYPE. +fun economyType : El Agent -> El EconomicAttribute -> Formula ; + + +-- (electricityConsumptionInPeriod ?AREA ?AMOUNT ?YEAR) means that +-- the GeopoliticalArea ?AREA used ?AMOUNT of electricity (measured in +-- KilowattHours) during the TimeInterval indicated by ?YEAR. +fun electricityConsumptionInPeriod: El GeopoliticalArea -> El PhysicalQuantity -> Desc TimeInterval -> Formula ; + + +-- (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD) means that +-- the GeopoliticalArea ?AREA exported the total ?AMOUNT of electricity +-- (measured in KilowattHours) during the TimeInterval indicated +-- by ?PERIOD. +fun electricityExportInPeriod: El GeopoliticalArea -> El PhysicalQuantity -> Desc TimeInterval -> Formula ; + + +-- (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION) means that in +-- the GeopoliticalArea ?AREA, ?SOURCE provides ?FRACTION of the total +-- electricity production. +fun electricityFractionFromSource: El GeopoliticalArea -> Desc PowerGeneration -> El RealNumber -> Formula ; + + +-- (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) +-- means that in the GeopoliticalArea ?AREA, ?SOURCE provides ?FRACTION +-- of the total electricity production during the TimeInterval indicated +-- by ?PERIOD. +fun electricityFractionFromSourceInPeriod: El GeopoliticalArea -> Desc PowerGeneration -> El RealNumber -> Desc TimeInterval -> Formula ; + + +-- (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD) means that +-- the GeopoliticalArea ?AREA imported the total ?AMOUNT of electricity +-- (measured in KilowattHours) during the TimeInterval indicated +-- by ?PERIOD. +fun electricityImportInPeriod: El GeopoliticalArea -> El PhysicalQuantity -> Desc TimeInterval -> Formula ; + + +-- (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD) means that the +-- GeopoliticalArea ?AREA generates ?AMOUNT of electricity, measured in +-- KilowattHours, during the TimeInterval indicated by ?PERIOD. +fun electricityProductionInPeriod: El GeopoliticalArea -> El PhysicalQuantity -> Desc TimeInterval -> Formula ; + + +-- (exportCommodityType ?AREA ?TYPE) means that the GeopoliticalArea +-- ?AREA exports the commodity ?TYPE. +fun exportCommodityType: El GeopoliticalArea -> Desc Object -> Formula ; + + +-- (exportCommodityTypeByRank ?AREA ?TYPE ?NTH) means that the +-- GeopoliticalArea ?AREA has the commodity ?TYPE as its ?NTH +-- most valuable export. +fun exportCommodityTypeByRank: El GeopoliticalArea -> Desc Object -> El PositiveInteger -> Formula ; + + +-- (exportPartner ?AGENT1 ?AGENT2) +-- means that the Agent ?AGENT1 exports goods to the Agent +-- ?AGENT2. +fun exportPartner : El Agent -> El Agent -> Formula ; + + +-- (exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION) means that +-- the GeopoliticalArea ?AREA1 exports goods to GeopoliticalArea +-- ?AREA2 and receives ?FRACTION of the exportTotalInPeriod of ?AREA1, +-- based on U.S. dollar value of exports. +fun exportPartnerByFraction : El GeopoliticalArea -> El GeopoliticalArea -> El PositiveRealNumber -> Formula ; + + +-- (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) means +-- that the GeopoliticalArea ?AREA1 exports goods to GeopoliticalArea +-- ?AREA2 and receives ?FRACTION of the exportTotalInPeriod of ?AREA1 +-- in the TimeInterval ?PERIOD, based on U.S. dollar value of exports. +fun exportPartnerByFractionInPeriod: El GeopoliticalArea -> El GeopoliticalArea -> El PositiveRealNumber -> Desc TimeInterval -> Formula ; + + +-- (exportPartnerByRank ?AREA1 ?AREA2 ?NTH) means that +-- the GeopoliticalArea ?AREA1 exports goods to GeopoliticalArea +-- ?AREA2 and is the ?NTH most important export partner of ?AREA1, +-- based on U.S. dollar value of exports. +fun exportPartnerByRank : El GeopoliticalArea -> El GeopoliticalArea -> El PositiveInteger -> Formula ; + + +-- (exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) means that +-- the GeopoliticalArea ?AREA1 exports goods to GeopoliticalArea +-- ?AREA2 and is the ?NTH most important export partner of ?AREA1, +-- in the TimeInterval ?PERIOD, based on U.S. dollar value of exports. +fun exportPartnerByRankInPeriod: El GeopoliticalArea -> El GeopoliticalArea -> El PositiveInteger -> Desc TimeInterval -> Formula ; + + +-- (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) means that the Agent +-- ?AGENT1 exports goods to the Agent ?AGENT2 during the TimeInterval +-- indicated by ?PERIOD. +fun exportPartnerInPeriod: El Agent -> El Agent -> Desc TimeInterval -> Formula ; + + +-- (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD) means that the +-- total value of exports from the GeopoliticalArea ?AREA is ?AMOUNT +-- (in UnitedStatesDollars) for the TimeInterval indicated by ?PERIOD. +-- Export value is calculated on a Free on Board (F.O.B.) basis. +fun exportTotalInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ; + + +-- (externalDebt ?COUNTRY ?AMOUNT) means +-- that the GeopoliticalArea ?COUNTRY owes the total sum ?AMOUNT of debt +-- (public and private) to nonresidents. The amount is valued in U.S. +-- dollars but may be repayable in foreign currency, goods, or services. +fun externalDebt : El GeopoliticalArea -> El CurrencyMeasure -> Formula ; + + +-- (externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD) means that the +-- GeopoliticalArea ?COUNTRY owes the total sum ?AMOUNT of debt (public +-- and private) to nonresidents during the TimeInterval indicated by +-- ?PERIOD. The amount is valued in U.S. dollars but may be repayable in +-- foreign currency, goods, or services. +fun externalDebtInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ; + + +-- The predicate fiscalYearPeriod +-- indicates the period that an Agent or Organization uses as its +-- 12_month accounting period. (fiscalYearPeriod ?AGENT Year) means +-- that ?AGENT observes its 12_month accounting period during the +-- regular calendar year (CY), from January to December. For +-- fiscal years with other beginning and ending months (FYs), use +-- (fiscalYearPeriod ?AGENT (RecurrentTimeIntervalFn ?STARTMONTH ?ENDMONTH)). +-- For example, (fiscalYearPeriod (GovernmentFn UnitedStates) +-- (RecurrentTimeIntervalFn October September)). For FYs that begin +-- or end mid_month, days may be specified within RecurrentTimeIntervalFn. +fun fiscalYearPeriod: El Agent -> Desc TimeInterval -> Formula ; + + +-- (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION) means that +-- in the GeopoliticalArea ?AREA, the highest decile (90_100%) of +-- households with respect to household income (or consumption) had +-- ?FRACTION amount of the total household income (or consumption). +-- Data from different countries may not be directly comparable due to +-- variation in the basis of the data (e.g., based on income versus +-- based on consumption). +fun highestDecileShareOfHouseholdIncome : El GeopoliticalArea -> El RealNumber -> Formula ; + + +-- (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD) +-- means that in the GeopoliticalArea ?AREA, the highest decile (90_100%) +-- of households with respect to household income (or consumption) had +-- ?FRACTION amount of the total household income (or consumption), during +-- the TimeInterval indicated by ?PERIOD. Data from different countries +-- may not be directly comparable due to variation in the basis of the data +-- (e.g., based on household income versus based on household consumption). +fun highestDecileShareOfHouseholdIncomeInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ; + + +-- (importCommodityType ?AREA ?TYPE) means that the GeopoliticalArea +-- ?AREA imports the commodity ?TYPE. +fun importCommodityType: El GeopoliticalArea -> Desc Object -> Formula ; + + +-- (importCommodityTypeByRank ?AREA ?TYPE ?NTH) means that the +-- GeopoliticalArea ?AREA has the commodity ?TYPE as its ?NTH +-- most valuable import. +fun importCommodityTypeByRank: El GeopoliticalArea -> Desc Object -> El PositiveInteger -> Formula ; + + +-- (importPartner ?AGENT1 ?AGENT2) means +-- that the Agent ?AGENT1 imports goods from the Agent ?AGENT2. +fun importPartner : El Agent -> El Agent -> Formula ; + + +-- (importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION) means that +-- the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea +-- ?AREA2 and provides ?FRACTION of the importTotalInPeriod of ?AREA1, +-- based on U.S. dollar value of imports. +fun importPartnerByFraction : El GeopoliticalArea -> El GeopoliticalArea -> El PositiveRealNumber -> Formula ; + + +-- (importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) means +-- that the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea +-- ?AREA2 and provides ?FRACTION of the importTotalInPeriod of ?AREA1 +-- during the TimeInterval ?PERIOD, in U.S. dollar value of imports. +fun importPartnerByFractionInPeriod: El GeopoliticalArea -> El GeopoliticalArea -> El PositiveRealNumber -> Desc TimeInterval -> Formula ; + + +-- (importPartnerByRank ?AREA1 ?AREA2 ?NTH) means that +-- the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea +-- ?AREA2 is the ?NTH most important import partner of ?AREA1, based on +-- U.S. dollar value of imports. +fun importPartnerByRank : El GeopoliticalArea -> El GeopoliticalArea -> El PositiveInteger -> Formula ; + + +-- (importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) means that +-- the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea +-- ?AREA2 is the ?NTH most important import partner of ?AREA1 during +-- the TimeInterval ?PERIOD, based on U.S. dollar value of imports. +fun importPartnerByRankInPeriod: El GeopoliticalArea -> El GeopoliticalArea -> El PositiveInteger -> Desc TimeInterval -> Formula ; + + +-- (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) means that the Agent +-- ?AGENT1 imports goods from the Agent ?AGENT2 during the TimeInterval +-- indicated by ?PERIOD. +fun importPartnerInPeriod: El Agent -> El Agent -> Desc TimeInterval -> Formula ; + + +-- (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD) means that the +-- total value of imports to the GeopoliticalArea ?AREA is ?AMOUNT +-- (in UnitedStatesDollars) for the TimeInterval indicated by ?PERIOD. +-- Import value is calculated on a Cost, Insurance, and Freight (C.I.F.) +-- or a Free on Board (F.O.B.) basis. +fun importTotalInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ; + + +-- (incomeDistributionByGiniIndex ?AREA ?INDEX) means that in the +-- GeopoliticalArea ?AREA, the distribution of family income is ?INDEX, +-- as measured by the Gini index for family income distribution. +fun incomeDistributionByGiniIndex : El GeopoliticalArea -> El NonnegativeRealNumber -> Formula ; + + +-- (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD) means that +-- in the GeopoliticalArea ?AREA, the distribution of family income is +-- ?INDEX, as measured by the Gini index, during the TimeInterval indicated +-- by ?PERIOD. +fun incomeDistributionByGiniIndexInPeriod: El GeopoliticalArea -> El NonnegativeRealNumber -> Desc TimeInterval -> Formula ; + + +-- (industrialProductionGrowthRate ?AREA ?RATE) means that in +-- the GeopoliticalArea ?AREA, the annual percentage increase in +-- industrial production is ?RATE. +fun industrialProductionGrowthRate : El GeopoliticalArea -> El RealNumber -> Formula ; + + +-- (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD) means +-- that in the GeopoliticalArea ?AREA, the annual percentage increase in +-- industrial production is ?RATE, for the TimeInterval ?PERIOD. +fun industrialProductionGrowthRateInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ; + + +-- (industryOfArea ?AREA ?SECTOR) +-- means that the GeopoliticalArea ?AREA produces goods or services +-- in the economic area ?SECTOR. +fun industryOfArea : El GeopoliticalArea -> El IndustryAttribute -> Formula ; + + +-- (industryProductType ?INDUSTRY ?TYPE) means that organizations with +-- the IndustryAttribute ?INDUSTRY produce products of the kind ?TYPE. +fun industryProductType: El IndustryAttribute -> Desc Object -> Formula ; + + +-- (industryRankByOutput ?AREA ?SECTOR ?NTH) means that in the +-- GeopoliticalArea ?AREA, the economic area ?SECTOR is ?NTH with +-- respect to the value of its annual output. +fun industryRankByOutput : El GeopoliticalArea -> El IndustryAttribute -> El PositiveInteger -> Formula ; + + +-- (industryServiceType ?INDUSTRY ?TYPE) means that organizations with +-- the IndustryAttribute ?INDUSTRY provide services of the kind ?TYPE. +fun industryServiceType: El IndustryAttribute -> Desc IntentionalProcess -> Formula ; + + +-- (inflationRateOfConsumerPrices ?AREA ?FRACTION) means that in the +-- GeopoliticalArea ?AREA, the annual change in consumer prices was +-- ?FRACTION, compared with prices from the previous year. +fun inflationRateOfConsumerPrices : El GeopoliticalArea -> El RealNumber -> Formula ; + + +-- (inflationRateOfConsumerPricesInPeriod ?AREA ?FRACTION ?PERIOD) means +-- that in the GeopoliticalArea ?AREA, the annual change in consumer +-- prices was ?FRACTION, for the TimeInterval indicated by ?PERIOD, +-- compared with prices from the prior period. +fun inflationRateOfConsumerPricesInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ; + + +-- (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION) +-- means that in the GeopoliticalArea ?AREA, workers in the job area +-- ?SECTOR make up ?FRACTION of the labor force. The unemployed are not +-- included in these figures. Occupation may be indicated by an +-- OccupationalRole or an IndustryAttribute. +fun laborForceFractionByOccupation : El GeopoliticalArea -> El Attribute -> El RealNumber -> Formula ; + + +-- (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) +-- means that in the GeopoliticalArea ?AREA, workers in the job area +-- ?SECTOR make up ?FRACTION of the labor force, during the TimeInterval +-- indicated by ?PERIOD. The unemployed are not included in these figures. +-- Occupation may be indicated by an OccupationalRole or an +-- IndustryAttribute. +fun laborForceFractionByOccupationInPeriod: El GeopoliticalArea -> El Attribute -> El RealNumber -> Desc TimeInterval -> Formula ; + + +-- (laborForceTotal ?AREA ?AMOUNT) means that the total labor +-- force of the GeopoliticalArea ?AREA is ?AMOUNT. This includes +-- unemployed workers. +fun laborForceTotal : El GeopoliticalArea -> El NonnegativeRealNumber -> Formula ; + + +-- (laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD) means that the total +-- labor force of the GeopoliticalArea ?AREA is ?AMOUNT during the +-- TimeInterval indicated by ?PERIOD. This includes unemployed workers. +fun laborForceTotalInPeriod: El GeopoliticalArea -> El NonnegativeRealNumber -> Desc TimeInterval -> Formula ; + + +-- (lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION) means that +-- in the GeopoliticalArea ?AREA, the lowest decile (0_10%) of +-- households with respect to household income (or consumption) had +-- ?FRACTION amount of the total household income (or consumption). +-- Data from different countries may not be directly comparable due to +-- variation in the basis of the data (e.g., based on income versus based +-- on consumption). +fun lowestDecileShareOfHouseholdIncome : El GeopoliticalArea -> El RealNumber -> Formula ; + + +-- (lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD) +-- means that in the GeopoliticalArea ?AREA, the lowest decile (0_10%) +-- of households with respect to household income (or consumption) had +-- ?FRACTION amount of the total household income (or consumption), during +-- the TimeInterval indicated by ?PERIOD. Data from different countries +-- may not be directly comparable due to variation in the basis of the data +-- (e.g., based on household income versus based on household consumption). +fun lowestDecileShareOfHouseholdIncomeInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ; + + +-- (organizationProductType ?BUSINESS ?TYPE) means that the Organization +-- ?BUSINESS produces products of the kind ?TYPE. +fun organizationProductType: El Organization -> Desc Object -> Formula ; + + +-- (organizationServiceType ?BUSINESS ?TYPE) means that the Organization +-- ?BUSINESS provides services of the kind ?TYPE. +fun organizationServiceType: El Organization -> Desc IntentionalProcess -> Formula ; + + +-- (perCapitaGDP ?AREA ?AMOUNT) means +-- that the Gross Domestic Product, on a per capita basis, for the +-- GeopoliticalArea ?AREA is ?AMOUNT, calculated in U.S. dollars on a +-- purchasing power parity basis. See PPPBasedEconomicValuation. +fun perCapitaGDP : El GeopoliticalArea -> El CurrencyMeasure -> Formula ; + + +-- (perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD) means that the Gross +-- Domestic Product, on a per capita basis, for the GeopoliticalArea +-- ?AREA is ?AMOUNT during the period indicated by ?PERIOD, calculated in +-- U.S. dollars on a purchasing power parity basis. See +-- PPPBasedEconomicValuation. +fun perCapitaGDPInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ; + + +-- (populationFractionBelowPovertyLine ?AREA ?FRACTION) means that in +-- the GeopoliticalArea ?AREA, the segment of the population living +-- below the (locally defined) poverty line is ?FRACTION. Note that the +-- definition of the poverty line varies internationally. +fun populationFractionBelowPovertyLine : El GeopoliticalArea -> El RealNumber -> Formula ; + + +-- (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD) +-- means that in the GeopoliticalArea ?AREA, the segment of the population +-- living below the (locally defined) poverty line is ?FRACTION during the +-- TimeInterval indicated by ?PERIOD. Note that the definition of the +-- poverty line varies internationally. +fun populationFractionBelowPovertyLineInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ; + + +-- (realGrowthRateOfGDP ?AREA ?RATE) +-- means that the annual rate of growth in the Gross Domestic Product (GDP) +-- for the GeopoliticalArea ?AREA is the fraction ?RATE, adjusted for +-- inflation, with GDP calculated on a purchasing power parity basis. +-- See PPPBasedEconomicValuation. +fun realGrowthRateOfGDP : El GeopoliticalArea -> El RealNumber -> Formula ; + + +-- (realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD) means that the +-- annual rate of growth in the Gross Domestic Product (GDP) for the +-- GeopoliticalArea ?AREA is the fraction ?RATE in the period ?PERIOD, +-- adjusted for inflation, with GDP calculated on a purchasing power +-- parity basis. See PPPBasedEconomicValuation. +fun realGrowthRateOfGDPInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ; + + +-- (resultType ?PROCESS ?TYPE) means that +-- the Process ?PROCESS produces some result(s) of the type ?TYPE. +fun resultType: El Process -> Desc Object -> Formula ; + + +-- (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION) means +-- that in the GeopoliticalArea ?AREA, the economic sector ?SECTOR +-- contributes the amount ?FRACTION to the Gross National Product. +fun sectorCompositionOfGDP : El GeopoliticalArea -> El IndustryAttribute -> El RealNumber -> Formula ; + + +-- (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) +-- means that in the GeopoliticalArea ?AREA, the economic sector ?SECTOR +-- contributes the amount ?FRACTION to the Gross National Product +-- during the TimeInterval indicated by ?PERIOD. +fun sectorCompositionOfGDPInPeriod: El GeopoliticalArea -> El IndustryAttribute -> El RealNumber -> Desc TimeInterval -> Formula ; + + +-- (sectorValueOfGDP ?AREA ?SECTOR ?AMOUNT) means that for the +-- GeopoliticalArea ?AREA, the economic sector ?SECTOR contributes +-- ?AMOUNT to the Gross National Product, evaluated in U.S. dollars on +-- a purchasing power parity basis. See PPPBasedEconomicValuation. +fun sectorValueOfGDP : El GeopoliticalArea -> El IndustryAttribute -> El CurrencyMeasure -> Formula ; + + +-- (sectorValueOfGDPInPeriod ?AREA ?SECTOR ?AMOUNT ?PERIOD) means that +-- for the GeopoliticalArea ?AREA, the economic sector ?SECTOR contributes +-- ?AMOUNT to the Gross National Product during the TimeInterval indicated +-- by ?PERIOD, evaluated in U.S. dollars on a purchasing power parity basis. +-- See PPPBasedEconomicValuation. +fun sectorValueOfGDPInPeriod: El GeopoliticalArea -> El IndustryAttribute -> El CurrencyMeasure -> Desc TimeInterval -> Formula ; + + +-- (totalGDP ?AREA ?AMOUNT) means that the value +-- of all final goods and services produced within the GeopoliticalArea +-- ?AREA is ?AMOUNT, in U.S. dollars, calculated on a purchasing power parity +-- basis. This represents Gross Domestic Product (GDP). See +-- PPPBasedEconomicValuation. +fun totalGDP : El GeopoliticalArea -> El CurrencyMeasure -> Formula ; + + +-- (totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD) +-- means that the value of all final goods and services produced within +-- the GeopoliticalArea ?AREA is ?AMOUNT in the period indicated by ?PERIOD, +-- measured in U.S. dollars calculated on a purchasing power parity basis. +-- (See PPPBasedEconomicValuation.) This is the Gross Domestic Product for +-- ?AREA for a specified period. +fun totalGDPInPeriod: El GeopoliticalArea -> El CurrencyMeasure -> Desc TimeInterval -> Formula ; + + +-- (unemploymentRateOfArea ?AREA ?RATE ?PERIOD) means that the +-- unemployment rate in the GeographicalArea ?AREA is ?RATE, +-- during the TimeInterval indicated by ?PERIOD. +fun unemploymentRateOfArea: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ; + + +-- (unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD) means that the +-- unemployment rate in the GeographicalArea ?AREA is ?RATE, during the +-- TimeInterval indicated by ?PERIOD. +fun unemploymentRateOfAreaInPeriod: El GeopoliticalArea -> El RealNumber -> Desc TimeInterval -> Formula ; +} -- cgit v1.2.3