changes in SUMO: formatting and fixes for lots of lots of small problems

1 files changed, 1765 insertions, 1810 deletions

diff --git a/examples/SUMO/Economy.gf b/examples/SUMO/Economy.gf
index 728583b68..f60e6aa42 100644
--- a/examples/SUMO/Economy.gf
+++ b/examples/SUMO/Economy.gf
@@ -1,2373 +1,2328 @@
 -- # -path=.:englishExtended

-abstract Economy = open Merge, Transportation, Mid_level_ontology, Geography in {

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

 

+  --  AdvancedDevelopingCountry 

+  -- is an Attribute used to describe a LessDevelopedCountry (LDC) 

+  -- that is undergoing rapid industrial development. Also called 'newly 

+  -- industrializing economy' (or 'country').

+  fun AdvancedDevelopingCountry : Ind EconomicDevelopmentLevel ;

 

+  -- AdvancedEconomy is an Attribute 

+  -- used to represent the InternationalMonetaryFund's top category of 

+  -- development levels (AdvancedEconomy,, countries in transition, and 

+  -- developing countries. Generally (but not exactly) corresponds with 

+  -- DevelopedCountry classification used by UnitedNations agencies.

+  fun AdvancedEconomy : Ind IMFDevelopmentLevel ;

 

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

+  fun AfghanAfghani : Ind UnitOfCurrency ;

 

+  fun AfghanAfghaniCoin : Class ;

+  fun AfghanAfghaniCoin_Class : SubClass AfghanAfghaniCoin CurrencyCoin ;

 

--- 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 AgriculturalSector : Ind IndustryAttribute ;

 

+  fun AgricultureBasedEconomy : Ind FinancialSectorAttribute ;

 

-fun AfghanAfghani : Ind UnitOfCurrency ;

+  -- (AgricultureFn ?PRODUCT) denotes the 

+  -- subclass of Agriculture processes in which the AgriculturalProduct 

+  -- ?PRODUCT is cultivated.

+  fun AgricultureFn: Desc AgriculturalProduct -> Desc Agriculture ;

 

-fun AfghanAfghaniCoin : Class ;

-fun AfghanAfghaniCoin_Class : SubClass AfghanAfghaniCoin CurrencyCoin ;

-fun AgriculturalProduct_Product : SubClass AgriculturalProduct Product ;

+  fun AgricultureForestryFishingAndHunting : Ind IndustryAttribute ;

 

-fun AgriculturalSector : Ind IndustryAttribute ;

+  fun AlbanianLek : Ind UnitOfCurrency ;

 

-fun AgricultureBasedEconomy : Ind FinancialSectorAttribute ;

+  fun Alfalfa : Class ;

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

 

--- (AgricultureFn ?PRODUCT) denotes the 

--- subclass of Agriculture processes in which the AgriculturalProduct 

--- ?PRODUCT is cultivated.

-fun AgricultureFn: Desc AgriculturalProduct -> Desc Agriculture ;

+  fun AlgerianDinar : Ind UnitOfCurrency ;

 

+  fun AlmondNut : Class ;

+  fun AlmondNut_Class : SubClass AlmondNut EdibleNut ;

 

-fun AgricultureForestryFishingAndHunting : Ind IndustryAttribute ;

+  -- Aloes is the class of 

+  -- PlantAgriculturalProducts that are dried juice of 

+  -- the Aloe plant.

+  fun Aloes : Class ;

+  fun Aloes_Class : SubClass Aloes PlantAgriculturalProduct ;

 

-fun AlbanianLek : Ind UnitOfCurrency ;

+  -- 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 Alfalfa : Class ;

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

+  fun AluminumMetal : Class ;

+  fun AluminumMetal_Class : SubClass AluminumMetal MetalProduct ;

 

-fun AlgerianDinar : Ind UnitOfCurrency ;

+  fun AngolanKwanza : 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 ;

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

 

--- Alumina is the naturally occurring oxide 

--- of aluminum which is found in corundum and bauxite.

-fun Alumina : Class ;

-fun Alumina_Class : SubClass Alumina CompoundSubstance ;

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

+  fun Apple : Class ;

+  fun Apple_Class : SubClass Apple (both (both Food Fruit) GroceryProduce) ;

 

-fun AluminumMetal : Class ;

-fun AluminumMetal_Class : SubClass AluminumMetal MetalProduct ;

-fun AngolanKwanza : Ind UnitOfCurrency ;

+  fun ArgentineAustral : 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 ArmenianDram : Ind UnitOfCurrency ;

 

-fun Apple_Fruit : SubClass Apple Fruit ;

+  -- 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 Apple_GroceryProduce : SubClass Apple GroceryProduce ;

+  fun AsphaltPavingRoofingAndSaturatedMaterialsManufacturing : Ind IndustryAttribute ;

 

-fun ArgentineAustral : Ind UnitOfCurrency ;

+  fun AustralianDollar : Ind UnitOfCurrency ;

 

-fun ArmenianDram : Ind UnitOfCurrency ;

+  fun AustrianSchilling : 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 ;

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

+  fun Avocado : Class ;

+  fun Avocado_Class : SubClass Avocado (both Food TropicalFruit) ;

 

-fun AsphaltPavingRoofingAndSaturatedMaterialsManufacturing : Ind IndustryAttribute ;

+  fun AzerbaijaniManat : Ind UnitOfCurrency ;

 

-fun AustralianDollar : Ind UnitOfCurrency ;

+  fun BahamianDollar : Ind UnitOfCurrency ;

 

-fun AustrianSchilling : Ind UnitOfCurrency ;

+  fun BahrainianDinar : Ind UnitOfCurrency ;

 

-fun Avocado_GroceryProduce : SubClass Avocado GroceryProduce ;

+  fun BalsaWood : Class ;

+  fun BalsaWood_Class : SubClass BalsaWood WoodProduct ;

 

-fun Avocado_TropicalFruit : SubClass Avocado TropicalFruit ;

+  fun Banana : Class ;

+  fun Banana_Class : SubClass Banana (both GroceryProduce TropicalFruit) ;

 

-fun AzerbaijaniManat : Ind UnitOfCurrency ;

+  fun BangladeshiTaka : Ind UnitOfCurrency ;

 

-fun BahamianDollar : Ind UnitOfCurrency ;

+  fun BarbadosDollar : Ind UnitOfCurrency ;

 

-fun BahrainianDinar : Ind UnitOfCurrency ;

+  fun BarleyFarming : Ind IndustryAttribute ;

 

-fun BalsaWood : Class ;

-fun BalsaWood_Class : SubClass BalsaWood WoodProduct ;

-fun Banana : Class ;

-fun Banana_Class : SubClass Banana (both GroceryProduce TropicalFruit) ;

+  fun BarleyGrain : Class ;

+  fun BarleyGrain_Class : SubClass BarleyGrain CerealGrain ;

 

-fun BangladeshiTaka : Ind UnitOfCurrency ;

+  -- 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 BarbadosDollar : Ind UnitOfCurrency ;

+  fun Bean : Class ;

+  fun Bean_Class : SubClass Bean Legume ;

 

-fun BarleyFarming : Ind IndustryAttribute ;

+  fun BelarusianRubel : Ind UnitOfCurrency ;

 

-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 BelgianFranc : Ind UnitOfCurrency ;

 

+  fun BelizeDollar : Ind UnitOfCurrency ;

 

-fun Bean : Class ;

-fun Bean_Class : SubClass Bean Legume ;

-fun BelarusianRubel : Ind UnitOfCurrency ;

+  fun BeninFranc : Ind UnitOfCurrency ;

 

-fun BelgianFranc : Ind UnitOfCurrency ;

+  fun BermudaDollar : Ind UnitOfCurrency ;

 

-fun BelizeDollar : Ind UnitOfCurrency ;

+  fun Berry : Class ;

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

 

-fun BeninFranc : Ind UnitOfCurrency ;

+  -- BeverageProduct is the class of products 

+  -- that are Beverages, packaged or unpackaged.

+  fun BeverageProduct : Class ;

+  fun BeverageProduct_Class : SubClass BeverageProduct Product ;

 

-fun BermudaDollar : Ind UnitOfCurrency ;

+  fun BhutaneseNgultrum : Ind UnitOfCurrency ;

 

-fun Berry : Class ;

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

+  fun BlackPepper : Class ;

+  fun BlackPepper_Class : SubClass BlackPepper Spice ;

 

--- BeverageProduct is the class of products 

--- that are Beverages, packaged or unpackaged.

-fun BeverageProduct : Class ;

-fun BeverageProduct_Class : SubClass BeverageProduct Product ;

+  fun BolivianBoliviano : Ind UnitOfCurrency ;

 

-fun BhutaneseNgultrum : Ind UnitOfCurrency ;

+  fun BotswanaPula : Ind UnitOfCurrency ;

 

-fun BlackPepper : Class ;

-fun BlackPepper_Class : SubClass BlackPepper Spice ;

-fun BolivianBoliviano : Ind UnitOfCurrency ;

+  fun BrazilianReal : Ind UnitOfCurrency ;

 

-fun BotswanaPula : Ind UnitOfCurrency ;

+  fun Breadfruit : Class ;

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

 

-fun BrazilianReal : Ind UnitOfCurrency ;

+  fun BritishPound : Ind UnitOfCurrency ;

 

-fun Breadfruit : Class ;

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

+  fun BritishPoundCoin : Class ;

+  fun BritishPoundCoin_Class : SubClass BritishPoundCoin CurrencyCoin ;

 

-fun BritishPound : Ind UnitOfCurrency ;

+  fun BruneiDollar : Ind UnitOfCurrency ;

 

-fun BritishPoundCoin : Class ;

-fun BritishPoundCoin_Class : SubClass BritishPoundCoin CurrencyCoin ;

-fun BruneiDollar : Ind UnitOfCurrency ;

+  fun BulgarianLev : Ind UnitOfCurrency ;

 

-fun BulgarianLev : Ind UnitOfCurrency ;

+  fun BurkinaFasoFranc : Ind UnitOfCurrency ;

 

-fun BurkinaFasoFranc : Ind UnitOfCurrency ;

+  fun BurundiFranc : Ind UnitOfCurrency ;

 

-fun BurundiFranc : Ind UnitOfCurrency ;

+  fun Cabbage : Class ;

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

 

-fun Cabbage : Class ;

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

+  fun CambodianRiel : Ind UnitOfCurrency ;

 

-fun CambodianRiel : Ind UnitOfCurrency ;

+  fun Camel : Class ;

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

 

-fun Camel : Class ;

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

+  fun CameroonFranc : Ind UnitOfCurrency ;

 

-fun CameroonFranc : Ind UnitOfCurrency ;

+  fun CanadianDollar : Ind UnitOfCurrency ;

 

-fun CanadianDollar : Ind UnitOfCurrency ;

+  fun CanadianDollarCoin : Class ;

+  fun CanadianDollarCoin_Class : SubClass CanadianDollarCoin CurrencyCoin ;

 

-fun CanadianDollarCoin : Class ;

-fun CanadianDollarCoin_Class : SubClass CanadianDollarCoin CurrencyCoin ;

+  fun Cannabis : Class ;

+  fun Cannabis_Class : SubClass Cannabis PlantAgriculturalProduct ;

 

-fun Cannabis : Class ;

-fun Cannabis_Class : SubClass Cannabis PlantAgriculturalProduct ;

+  fun CapeVerdeEscudo : Ind UnitOfCurrency ;

 

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

 

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

 

--- 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 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 CashewNut : Class ;

-fun CashewNut_Class : SubClass CashewNut EdibleNut ;

-fun Cassava : Class ;

-fun Cassava_Class : SubClass Cassava (both GroceryProduce RootVegetable) ;

+  fun Cassava : Class ;

+  fun Cassava_Class : SubClass Cassava (both GroceryProduce RootVegetable) ;

 

-fun Cattle : Class ;

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

+  fun Cattle : Class ;

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

 

-fun Cauliflower : Class ;

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

+  fun Cauliflower : Class ;

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

 

-fun Caviar : Class ;

-fun Caviar_Class : SubClass Caviar FishRoe ;

-fun CaymanIslandsDollar : Ind UnitOfCurrency ;

+  fun Caviar : Class ;

+  fun Caviar_Class : SubClass Caviar FishRoe ;

 

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

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

+  -- 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 CerealGrainFarming : Ind IndustryAttribute ;

+  fun CerealGrain_Vegetable : SubClass CerealGrain Vegetable ;

 

-fun CerealGrain_PlantAgriculturalProduct : SubClass CerealGrain PlantAgriculturalProduct ;

+  fun CerealGrass : Class ;

+  fun CerealGrass_Class : SubClass CerealGrass Grass ;

 

-fun CerealGrain_Vegetable : SubClass CerealGrain Vegetable ;

+  fun ChadianFranc : Ind UnitOfCurrency ;

 

-fun CerealGrass : Class ;

-fun CerealGrass_Class : SubClass CerealGrass Grass ;

-fun ChadianFranc : Ind UnitOfCurrency ;

+  fun Cheese : Class ;

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

 

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

 

--- 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 ChileanPeso : Ind UnitOfCurrency ;

+  fun Chrysanthemum : Class ;

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

 

-fun ChineseYuan : Ind UnitOfCurrency ;

+  fun Cinnamon : Class ;

+  fun Cinnamon_Class : SubClass Cinnamon Spice ;

 

-fun Chrysanthemum : Class ;

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

+  fun CitrusFruit : Class ;

+  fun CitrusFruit_Class : SubClass CitrusFruit (both Fruit GroceryProduce) ;

 

-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 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 ClothesWashingMachine : Class ;

+  fun ClothesWashingMachine_Class : SubClass ClothesWashingMachine MajorAppliance ;

 

-fun CoalIndustry : Ind IndustryAttribute ;

+  fun Clove : Class ;

+  fun Clove_Class : SubClass Clove Spice ;

 

-fun CoalMining : Ind IndustryAttribute ;

+  fun Clover : Class ;

+  fun Clover_Class : SubClass Clover (both Fodder (both Plant PlantAgriculturalProduct)) ;

 

-fun CoalProductsManufacturing : Ind IndustryAttribute ;

+  fun CoalIndustry : 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 CoalMining : Ind IndustryAttribute ;

 

-fun Cocaine : Class ;

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

+  fun CoalProductsManufacturing : Ind IndustryAttribute ;

 

--- Cocoa is the class of powdered 

--- PlantAgriculturalProduct derived from cacao beans.

-fun Cocoa : Class ;

-fun Cocoa_Class : SubClass Cocoa (both FruitOrVegetable PlantAgriculturalProduct) ;

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

 

-fun CocoaBean : Class ;

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

+  -- Cocoa is the class of powdered 

+  -- PlantAgriculturalProduct derived from cacao beans.

+  fun Cocoa : Class ;

+  fun Cocoa_Class : SubClass Cocoa (both FruitOrVegetable PlantAgriculturalProduct) ;

 

-fun Coconut_GroceryProduce : SubClass Coconut GroceryProduce ;

+  fun CocoaBean : Class ;

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

 

-fun Coconut_TropicalFruit : SubClass Coconut TropicalFruit ;

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

+  -- and has an edible white meat.

+  fun Coconut : Class ;

+  fun Coconut_Class : SubClass Coconut (both Food TropicalFruit) ;

 

-fun CoffeeBean : Class ;

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

+  fun CoffeeBean : Class ;

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

 

-fun ColombianPeso : Ind UnitOfCurrency ;

+  fun ColombianPeso : Ind UnitOfCurrency ;

 

-fun CommercialAndIndustrialRefrigerationAndEquipmentManufacturing : Ind IndustryAttribute ;

+  fun CommercialAndIndustrialRefrigerationAndEquipmentManufacturing : Ind IndustryAttribute ;

 

-fun CommunalLandOwnershipEconomy : Ind EconomicSystemAttribute ;

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

+  -- 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 CongoFranc : Ind UnitOfCurrency ;

+  fun ConsumerGood : Class ;

+  fun ConsumerGood_Class : SubClass ConsumerGood ManufacturedProduct ;

 

-fun ConsumerGood : Class ;

-fun ConsumerGood_Class : SubClass ConsumerGood ManufacturedProduct ;

-fun ConsumerGoodsIndustry : Ind IndustryAttribute ;

+  fun ConsumerGoodsIndustry : Ind IndustryAttribute ;

 

-fun ControlledLaborMarketEconomy : Ind FinancialSectorAttribute ;

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

+  -- 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 CookingOven : Class ;

+  fun CookingOven_Class : SubClass CookingOven MajorAppliance ;

 

-fun CopperIndustry : Ind IndustryAttribute ;

+  fun CookingRange : Class ;

+  fun CookingRange_Class : SubClass CookingRange MajorAppliance ;

 

-fun CopperOre : Class ;

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

+  fun CopperFoundriesExceptDieCasting : Ind IndustryAttribute ;

 

-fun CopperOreMining : Ind IndustryAttribute ;

+  fun CopperIndustry : Ind IndustryAttribute ;

 

-fun CopperRollingDrawingExtrudingAndAlloying : Ind IndustryAttribute ;

+  fun CopperOre : Class ;

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

 

--- Copra is the class of dried coconut 

--- meat valued for the extracted coconut oil.

-fun Copra : Class ;

-fun Copra_Class : SubClass Copra PlantAgriculturalProduct ;

+  fun CopperOreMining : Ind IndustryAttribute ;

 

-fun CornFarming : Ind IndustryAttribute ;

+  fun CopperRollingDrawingExtrudingAndAlloying : Ind IndustryAttribute ;

 

-fun CostaRicanColon : Ind UnitOfCurrency ;

+  -- Copra is the class of dried coconut 

+  -- meat valued for the extracted coconut oil.

+  fun Copra : Class ;

+  fun Copra_Class : SubClass Copra PlantAgriculturalProduct ;

 

-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 CornFarming : Ind IndustryAttribute ;

 

+  fun CostaRicanColon : Ind UnitOfCurrency ;

 

-fun CowPea : Class ;

-fun CowPea_Class : SubClass CowPea Legume ;

-fun Crayfish : Class ;

-fun Crayfish_Class : SubClass Crayfish Shellfish ;

-fun CrudePetroleumExtraction : Ind IndustryAttribute ;

+  fun CottonFiber : Class ;

+  fun CottonFiber_Class : SubClass CottonFiber PlantAgriculturalProduct ;

 

-fun CubanPeso : Ind UnitOfCurrency ;

+  -- 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 Cucumber : Class ;

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

+  fun CowPea : Class ;

+  fun CowPea_Class : SubClass CowPea Legume ;

 

-fun CutFlower : Class ;

-fun CutFlower_Class : SubClass CutFlower PlantAgriculturalProduct ;

-fun CypriotPound : Ind UnitOfCurrency ;

+  fun Crayfish : Class ;

+  fun Crayfish_Class : SubClass Crayfish Shellfish ;

 

-fun CzechKoruna : Ind UnitOfCurrency ;

+  fun CrudePetroleumExtraction : Ind IndustryAttribute ;

 

-fun DanishKrone : Ind UnitOfCurrency ;

+  fun CubanPeso : Ind UnitOfCurrency ;

 

-fun DateFruit_GroceryProduce : SubClass DateFruit GroceryProduce ;

+  fun Cucumber : Class ;

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

 

-fun DateFruit_TropicalFruit : SubClass DateFruit TropicalFruit ;

+  fun CutFlower : Class ;

+  fun CutFlower_Class : SubClass CutFlower PlantAgriculturalProduct ;

 

-fun Deer : Class ;

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

+  fun CypriotPound : Ind UnitOfCurrency ;

 

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

+  fun CzechKoruna : Ind UnitOfCurrency ;

 

+  fun DanishKrone : Ind UnitOfCurrency ;

 

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

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

+  fun DateFruit : Class ;

+  fun DateFruit_Class : SubClass DateFruit (both Food TropicalFruit) ;

 

+  fun Deer : Class ;

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

 

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

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

 

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

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

 

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

+  -- DieselFuel is the subclass of 

+  -- RefinedPetroleumProducts that are fuels for diesel engines.

+  fun DieselFuel : Class ;

+  fun DieselFuel_Class : SubClass DieselFuel FossilFuel ;

 

-fun DutchGuilder : Ind UnitOfCurrency ;

+  fun Dishwasher : Class ;

+  fun Dishwasher_Class : SubClass Dishwasher MajorAppliance ;

 

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

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

 

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

+  fun FertilizerManufacturing : Ind IndustryAttribute ;

 

--- 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 FertilizerMineralMining : Ind IndustryAttribute ;

 

-fun FertilizerIndustry : Ind IndustryAttribute ;

+  fun FijiDollar : Ind UnitOfCurrency ;

 

-fun FertilizerManufacturing : Ind IndustryAttribute ;

+  -- 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 FertilizerMineralMining : Ind IndustryAttribute ;

+  fun FinnishMarkka : Ind UnitOfCurrency ;

 

-fun FijiDollar : Ind UnitOfCurrency ;

+  -- (FiscalYearFn ?PLACE) denotes the subclass 

+  -- of TimeIntervals that are fiscalYearPeriods of the Organization or 

+  -- GeopoliticalArea ?PLACE.

+  fun FiscalYearFn: El Agent -> Desc TimeInterval ;

 

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

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

 

-fun FinnishMarkka : Ind UnitOfCurrency ;

+  -- FishProduct is the subclass of 

+  -- AnimalAgriculturalProduct that comprises products derived 

+  -- from fish.

+  fun FishProduct : Class ;

+  fun FishProduct_Class : SubClass FishProduct AnimalAgriculturalProduct ;

 

--- (FiscalYearFn ?PLACE) denotes the subclass 

--- of TimeIntervals that are fiscalYearPeriods of the Organization or 

--- GeopoliticalArea ?PLACE.

-fun FiscalYearFn: El Agent -> Desc TimeInterval ;

+  fun FishRoe : Class ;

+  fun FishRoe_Class : SubClass FishRoe FishProduct ;

 

+  fun FlaxFiber : Class ;

+  fun FlaxFiber_Class : SubClass FlaxFiber PlantAgriculturalProduct ;

 

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

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

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

+  -- intended for instances of DomesticAnimal.

+  fun Fodder : Class ;

+  fun Fodder_Class : SubClass Fodder (both Food OrganicObject) ;

 

+  fun FoodEgg : Class ;

+  fun FoodEgg_Class : SubClass FoodEgg AnimalAgriculturalProduct ;

 

--- FishProduct is the subclass of 

--- AnimalAgriculturalProduct that comprises products derived 

--- from fish.

-fun FishProduct : Class ;

-fun FishProduct_Class : SubClass FishProduct AnimalAgriculturalProduct ;

+  fun FoodFish : Class ;

+  fun FoodFish_Class : SubClass FoodFish Seafood ;

 

-fun FishRoe : Class ;

-fun FishRoe_Class : SubClass FishRoe FishProduct ;

-fun FlaxFiber : Class ;

-fun FlaxFiber_Class : SubClass FlaxFiber PlantAgriculturalProduct ;

-fun Fodder_OrganicObject : SubClass Fodder OrganicObject ;

+  -- FoodProduct is the class of food 

+  -- products, packaged or unpackaged.

+  fun FoodProduct : Class ;

+  fun FoodProduct_Class : SubClass FoodProduct Product ;

 

-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 Footwear : Class ;

-fun Footwear_Class : SubClass Footwear Clothing ;

-fun ForageCrop : Class ;

-fun ForageCrop_Class : SubClass ForageCrop (both Fodder (both Plant PlantAgriculturalProduct)) ;

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

+  fun ForestProduct : Class ;

+  fun ForestProduct_Class : SubClass ForestProduct Product ;

 

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

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

+  -- 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 Freezer : Class ;

-fun Freezer_Class : SubClass Freezer MajorAppliance ;

-fun FrenchFranc : Ind UnitOfCurrency ;

+  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 FrenchFrancCoin : Class ;

+  fun FrenchFrancCoin_Class : SubClass FrenchFrancCoin CurrencyCoin ;

 

-fun FurnitureAndHomeFurnishingWholesalers : Ind IndustryAttribute ;

+  fun Fruit : Class ;

+  fun Fruit_Class : SubClass Fruit FruitOrVegetable ;

 

-fun FurnitureAndHomeFurnishingsStores : Ind IndustryAttribute ;

+  fun FruitFarming : Ind IndustryAttribute ;

 

-fun FurnitureAndRelatedProductManufacturing : Ind IndustryAttribute ;

+  fun FurnitureAndHomeFurnishingWholesalers : Ind IndustryAttribute ;

 

-fun FurnitureIndustry : Ind IndustryAttribute ;

+  fun FurnitureAndHomeFurnishingsStores : Ind IndustryAttribute ;

 

-fun FurnitureManufacturing : Ind IndustryAttribute ;

+  fun FurnitureAndRelatedProductManufacturing : Ind IndustryAttribute ;

 

-fun Furniture_DurableGood : SubClass Furniture DurableGood ;

+  fun FurnitureIndustry : Ind IndustryAttribute ;

 

-fun GabonFranc : Ind UnitOfCurrency ;

+  fun FurnitureManufacturing : Ind IndustryAttribute ;

 

-fun GambianDalasi : Ind UnitOfCurrency ;

+  fun Furniture_DurableGood : SubClass Furniture DurableGood ;

 

--- Gasoline is the subclass of 

--- RefinedPetroleumProducts that are fuels for internal combustion engines.

-fun Gasoline : Class ;

-fun Gasoline_Class : SubClass Gasoline FossilFuel ;

+  fun GabonFranc : Ind UnitOfCurrency ;

 

--- 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 GambianDalasi : Ind UnitOfCurrency ;

 

-fun GeorgianLari : Ind UnitOfCurrency ;

+  -- Gasoline is the subclass of 

+  -- RefinedPetroleumProducts that are fuels for internal combustion engines.

+  fun Gasoline : Class ;

+  fun Gasoline_Class : SubClass Gasoline FossilFuel ;

 

-fun GermanMark : Ind UnitOfCurrency ;

+  -- 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 GermanMarkCoin : Class ;

-fun GermanMarkCoin_Class : SubClass GermanMarkCoin CurrencyCoin ;

-fun GhanianCedi : Ind UnitOfCurrency ;

+  fun GeorgianLari : Ind UnitOfCurrency ;

 

-fun Ginger : Class ;

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

+  fun GermanMark : Ind UnitOfCurrency ;

 

--- A domesticated HoofedMammal that is raised primarily 

--- for Milk.

-fun Goat : Class ;

-fun Goat_Class : SubClass Goat (both HoofedMammal Livestock) ;

+  fun GermanMarkCoin : Class ;

+  fun GermanMarkCoin_Class : SubClass GermanMarkCoin CurrencyCoin ;

 

+  fun GhanianCedi : Ind UnitOfCurrency ;

 

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

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

 

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

+  -- 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 GrainAndOilseedMilling : Ind IndustryAttribute ;

 

-fun Grape : Class ;

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

+  fun Grape : Class ;

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

 

-fun GreekDrachma : Ind UnitOfCurrency ;

+  fun GreekDrachma : Ind UnitOfCurrency ;

 

-fun GreenPepper : Class ;

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

+  fun GreenPepper : Class ;

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

 

-fun GrenadaDollar : Ind UnitOfCurrency ;

+  fun GrenadaDollar : Ind UnitOfCurrency ;

 

-fun Groundnut : Class ;

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

+  fun Groundnut : Class ;

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

 

-fun GuatemalanQuetzal : Ind UnitOfCurrency ;

+  fun GuatemalanQuetzal : Ind UnitOfCurrency ;

 

-fun GuernseyCattle : Class ;

-fun GuernseyCattle_Class : SubClass GuernseyCattle Cattle ;

-fun GuineaBissauPeso : Ind UnitOfCurrency ;

+  fun GuernseyCattle : Class ;

+  fun GuernseyCattle_Class : SubClass GuernseyCattle Cattle ;

 

-fun GuineanFranc : Ind UnitOfCurrency ;

+  fun GuineaBissauPeso : Ind UnitOfCurrency ;

 

-fun GumArabic : Class ;

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

+  fun GuineanFranc : Ind UnitOfCurrency ;

 

-fun GuyanaDollar : Ind UnitOfCurrency ;

+  fun GumArabic : Class ;

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

 

-fun HaitianGourde : Ind UnitOfCurrency ;

+  fun GuyanaDollar : Ind UnitOfCurrency ;

 

-fun HandicraftIndustry : Ind IndustryAttribute ;

+  fun HaitianGourde : Ind UnitOfCurrency ;

 

--- 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 HandicraftIndustry : Ind IndustryAttribute ;

 

-fun HandwovenCarpet : Class ;

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

+  -- 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 HandwovenCarpetManufacturing : Ind IndustryAttribute ;

+  fun HandwovenCarpet : Class ;

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

 

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

+  fun HandwovenCarpetManufacturing : Ind IndustryAttribute ;

 

+  fun Hardwood : Class ;

+  fun Hardwood_Class : SubClass Hardwood WoodProduct ;

 

--- HighTechIndustrialEconomy 

--- is an Attribute used to describe industrialized countries whose 

--- infrastructure uses the most advanced kinds of technology.

-fun HighTechIndustrialEconomy : Ind EconomicDevelopmentLevel ;

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

+  fun Hay : Class ;

+  fun Hay_Class : SubClass Hay Fodder ;

 

+  fun HempFiber : Class ;

+  fun HempFiber_Class : SubClass HempFiber PlantAgriculturalProduct ;

 

-fun HonduranLempira : Ind UnitOfCurrency ;

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

 

-fun Honey_AnimalAgriculturalProduct : SubClass Honey AnimalAgriculturalProduct ;

+  -- HighTechIndustrialEconomy 

+  -- is an Attribute used to describe industrialized countries whose 

+  -- infrastructure uses the most advanced kinds of technology.

+  fun HighTechIndustrialEconomy : Ind EconomicDevelopmentLevel ;

 

-fun HongKongDollar : Ind UnitOfCurrency ;

+  fun HonduranLempira : Ind UnitOfCurrency ;

 

-fun HotWaterHeater : Class ;

-fun HotWaterHeater_Class : SubClass HotWaterHeater MajorAppliance ;

-fun HouseholdRefrigeratorAndHomeFreezerManufacturing : Ind IndustryAttribute ;

+  fun Honey_AnimalAgriculturalProduct : SubClass Honey AnimalAgriculturalProduct ;

 

-fun HungarianForint : Ind UnitOfCurrency ;

+  fun HongKongDollar : Ind UnitOfCurrency ;

 

-fun HydroElectricPowerGeneration : Ind ElectricalPowerGeneration ;

+  fun HotWaterHeater : Class ;

+  fun HotWaterHeater_Class : SubClass HotWaterHeater MajorAppliance ;

 

--- 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 HouseholdRefrigeratorAndHomeFreezerManufacturing : Ind IndustryAttribute ;

 

-fun IcelandicKrona : Ind UnitOfCurrency ;

+  fun HungarianForint : Ind UnitOfCurrency ;

 

-fun IndianRupee : Ind UnitOfCurrency ;

+  fun HydroElectricPowerGeneration : Ind ElectricalPowerGeneration ;

 

-fun IndonesianRupiah : Ind UnitOfCurrency ;

+  -- 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 IndustrialRawMaterial : Class ;

-fun IndustrialRawMaterial_Class : SubClass IndustrialRawMaterial CapitalGood ;

-fun IndustrialSector : Ind IndustryAttribute ;

+  fun IcelandicKrona : Ind UnitOfCurrency ;

 

--- 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 IndianRupee : Ind UnitOfCurrency ;

 

+  fun IndonesianRupiah : Ind UnitOfCurrency ;

 

-fun IndustryAttribute : Class ;

+  fun IndustrialRawMaterial : Class ;

+  fun IndustrialRawMaterial_Class : SubClass IndustrialRawMaterial CapitalGood ;

 

-fun IranianRial : Ind UnitOfCurrency ;

+  fun IndustrialSector : Ind IndustryAttribute ;

 

-fun IraqiDinar : Ind UnitOfCurrency ;

+  -- 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 IrishPound : Ind UnitOfCurrency ;

+  fun IndustryAttribute : Class ;

 

-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 IranianRial : Ind UnitOfCurrency ;

 

+  fun IraqiDinar : Ind UnitOfCurrency ;

 

-fun IsraeliShekel : Ind UnitOfCurrency ;

+  fun IrishPound : Ind UnitOfCurrency ;

 

-fun ItalianLire : Ind UnitOfCurrency ;

+  fun IronMetal : Class ;

+  fun IronMetal_Class : SubClass IronMetal MetalProduct ;

 

-fun ItalianLireCoin : Class ;

-fun ItalianLireCoin_Class : SubClass ItalianLireCoin CurrencyCoin ;

-fun IvoryCoastFranc : Ind UnitOfCurrency ;

+  -- 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 JamaicanDollar : Ind UnitOfCurrency ;

+  fun IsraeliShekel : Ind UnitOfCurrency ;

 

-fun JapaneseYen : Ind UnitOfCurrency ;

+  fun ItalianLire : 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 ItalianLireCoin : Class ;

+  fun ItalianLireCoin_Class : SubClass ItalianLireCoin CurrencyCoin ;

 

+  fun IvoryCoastFranc : Ind UnitOfCurrency ;

 

-fun JordanianDinar : Ind UnitOfCurrency ;

+  fun JamaicanDollar : Ind UnitOfCurrency ;

 

-fun JuteFiber : Class ;

-fun JuteFiber_Class : SubClass JuteFiber PlantAgriculturalProduct ;

-fun KazakhstaniTenge : Ind UnitOfCurrency ;

+  fun JapaneseYen : Ind UnitOfCurrency ;

 

-fun KentiaPalmSeed : Class ;

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

+  fun JapaneseYenCoin : Class ;

+  fun JapaneseYenCoin_Class : SubClass JapaneseYenCoin CurrencyCoin ;

 

-fun KenyanShilling : Ind UnitOfCurrency ;

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

 

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

+  fun JordanianDinar : Ind UnitOfCurrency ;

 

--- 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 JuteFiber : Class ;

+  fun JuteFiber_Class : SubClass JuteFiber PlantAgriculturalProduct ;

 

+  fun KazakhstaniTenge : Ind UnitOfCurrency ;

 

-fun KiribatiDollar : Ind UnitOfCurrency ;

+  fun KentiaPalmSeed : Class ;

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

 

-fun KuwaitiDinar : Ind UnitOfCurrency ;

+  fun KenyanShilling : Ind UnitOfCurrency ;

 

-fun KyrgyzstaniSom : 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 ;

 

-fun LambMeat : Class ;

-fun LambMeat_Class : SubClass LambMeat Meat ;

-fun Lambskin : Class ;

-fun Lambskin_Class : SubClass Lambskin Pelt ;

-fun LaotianKip : Ind UnitOfCurrency ;

+  -- 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 LatvianLats : Ind UnitOfCurrency ;

+  fun KiribatiDollar : Ind UnitOfCurrency ;

 

-fun LeadIndustry : Ind IndustryAttribute ;

+  fun KuwaitiDinar : Ind UnitOfCurrency ;

 

-fun LeadManufacturing : Ind IndustryAttribute ;

+  fun KyrgyzstaniSom : Ind UnitOfCurrency ;

 

-fun LeadMetal : Class ;

-fun LeadMetal_Class : SubClass LeadMetal MetalProduct ;

-fun LeadOre : Class ;

-fun LeadOre_Class : SubClass LeadOre (both Mineral MiningProduct) ;

+  fun LambMeat : Class ;

+  fun LambMeat_Class : SubClass LambMeat Meat ;

 

-fun LeadOreMining : Ind IndustryAttribute ;

+  fun Lambskin : Class ;

+  fun Lambskin_Class : SubClass Lambskin Pelt ;

 

-fun LeadProduct : Class ;

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

+  fun LaotianKip : Ind UnitOfCurrency ;

 

-fun Leaf : Class ;

-fun Leaf_Class : SubClass Leaf AnatomicalStructure ;

-fun LeafyGreenVegetable : Class ;

-fun LeafyGreenVegetable_Class : SubClass LeafyGreenVegetable (both GroceryProduce Vegetable) ;

+  fun LatvianLats : Ind UnitOfCurrency ;

 

--- 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 LeadIndustry : Ind IndustryAttribute ;

 

+  fun LeadManufacturing : Ind IndustryAttribute ;

 

-fun LebanesePound : Ind UnitOfCurrency ;

+  fun LeadMetal : Class ;

+  fun LeadMetal_Class : SubClass LeadMetal MetalProduct ;

 

-fun Legume : Class ;

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

+  fun LeadOre : Class ;

+  fun LeadOre_Class : SubClass LeadOre (both Mineral MiningProduct) ;

 

-fun Lemon : Class ;

-fun Lemon_Class : SubClass Lemon CitrusFruit ;

-fun Lentil : Class ;

-fun Lentil_Class : SubClass Lentil Pulse ;

-fun LesothoLoti : Ind UnitOfCurrency ;

+  fun LeadOreMining : Ind IndustryAttribute ;

 

--- 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 LeadProduct : Class ;

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

 

+  fun Leaf : Class ;

+  fun Leaf_Class : SubClass Leaf AnatomicalStructure ;

 

-fun LiberianDollar : Ind UnitOfCurrency ;

+  fun LeafyGreenVegetable : Class ;

+  fun LeafyGreenVegetable_Class : SubClass LeafyGreenVegetable (both GroceryProduce Vegetable) ;

 

-fun LibyanDinar : Ind UnitOfCurrency ;

+  -- 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 Lime : Class ;

-fun Lime_Class : SubClass Lime CitrusFruit ;

-fun LithuanianLitas : Ind UnitOfCurrency ;

+  fun LebanesePound : 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 ;

+  fun Legume : Class ;

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

 

+  fun Lemon : Class ;

+  fun Lemon_Class : SubClass Lemon CitrusFruit ;

 

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

+  fun Lentil : Class ;

+  fun Lentil_Class : SubClass Lentil Pulse ;

 

+  fun LesothoLoti : Ind UnitOfCurrency ;

 

--- A ManufacturedProduct derived from Timber.

-fun Lumber : Class ;

-fun Lumber_Class : SubClass Lumber (both DurableGood ForestProduct) ;

+  -- 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 LumberIndustry : Ind IndustryAttribute ;

+  fun LibyanDinar : Ind UnitOfCurrency ;

 

-fun LumberPlywoodMillworkAndWoodPanelWholesalers : Ind IndustryAttribute ;

+  fun Lime : Class ;

+  fun Lime_Class : SubClass Lime CitrusFruit ;

 

-fun LuxembourgFranc : Ind UnitOfCurrency ;

+  fun LithuanianLitas : Ind UnitOfCurrency ;

 

-fun MacademiaNut : Class ;

-fun MacademiaNut_Class : SubClass MacademiaNut EdibleNut ;

-fun MacaoPataca : 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 ;

 

-fun Mace : Class ;

-fun Mace_Class : SubClass Mace Spice ;

-fun MachineTool : Class ;

-fun MachineTool_Class : SubClass MachineTool Machinery ;

-fun Machine_Machinery : SubClass Machine Machinery ;

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

 

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

+  -- A ManufacturedProduct derived from Timber.

+  fun Lumber : Class ;

+  fun Lumber_Class : SubClass Lumber (both DurableGood ForestProduct) ;

 

+  fun LumberIndustry : Ind IndustryAttribute ;

 

-fun MadagascarFranc : Ind UnitOfCurrency ;

+  fun LumberPlywoodMillworkAndWoodPanelWholesalers : Ind IndustryAttribute ;

 

-fun MajorAppliance : Class ;

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

+  fun LuxembourgFranc : Ind UnitOfCurrency ;

 

--- MajorIndustrialEconomy is an 

--- Attribute used to describe countries with the largest, industrialized, 

--- non_communist economies in the world.

-fun MajorIndustrialEconomy : Ind EconomicDevelopmentLevel ;

+  fun MacademiaNut : Class ;

+  fun MacademiaNut_Class : SubClass MacademiaNut EdibleNut ;

 

+  fun MacaoPataca : Ind UnitOfCurrency ;

 

-fun MalawianKwacha : Ind UnitOfCurrency ;

+  fun Mace : Class ;

+  fun Mace_Class : SubClass Mace Spice ;

 

-fun MalaysianRinggit : Ind UnitOfCurrency ;

+  fun MachineTool : Class ;

+  fun MachineTool_Class : SubClass MachineTool Machinery ;

 

-fun MaliFranc : Ind UnitOfCurrency ;

+  fun Machine_Machinery : SubClass Machine Machinery ;

 

-fun MalteseLira : Ind UnitOfCurrency ;

+  -- 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 Mango : Class ;

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

+  fun MadagascarFranc : Ind UnitOfCurrency ;

 

-fun ManufacturingBasedEconomy : Ind FinancialSectorAttribute ;

+  fun MajorAppliance : Class ;

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

 

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

+  -- 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 MarketSocialism : Ind EconomicSystemAttribute ;

+  fun MalaysianRinggit : Ind UnitOfCurrency ;

 

-fun MauritanianOuguiya : Ind UnitOfCurrency ;

+  fun MaliFranc : Ind UnitOfCurrency ;

 

-fun MauritianRupee : Ind UnitOfCurrency ;

+  fun MalteseLira : Ind UnitOfCurrency ;

 

-fun Meat_AnimalAgriculturalProduct : SubClass Meat AnimalAgriculturalProduct ;

+  fun Mango : Class ;

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

 

-fun Melon : Class ;

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

+  fun ManufacturingBasedEconomy : Ind FinancialSectorAttribute ;

 

-fun MetalProduct : Class ;

-fun MetalProduct_Class : SubClass MetalProduct DurableGood ;

-fun MetallurgyIndustry : Ind IndustryAttribute ;

+  -- 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 MexicanPeso : Ind UnitOfCurrency ;

+  fun MarketSocialism : Ind EconomicSystemAttribute ;

 

-fun Milk_DairyProduct : SubClass Milk DairyProduct ;

+  fun MauritanianOuguiya : Ind UnitOfCurrency ;

 

-fun MilletFarming : Ind IndustryAttribute ;

+  fun MauritianRupee : Ind UnitOfCurrency ;

 

-fun MilletGrain : Class ;

-fun MilletGrain_Class : SubClass MilletGrain CerealGrain ;

-fun Millwork : Ind IndustryAttribute ;

+  fun Meat_AnimalAgriculturalProduct : SubClass Meat AnimalAgriculturalProduct ;

 

-fun MiningExceptOilAndGas : Ind IndustryAttribute ;

+  fun Melon : Class ;

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

 

-fun MiningIndustry : Ind IndustryAttribute ;

+  fun MetalProduct : Class ;

+  fun MetalProduct_Class : SubClass MetalProduct DurableGood ;

 

--- 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 MetallurgyIndustry : Ind IndustryAttribute ;

 

+  fun MexicanPeso : Ind UnitOfCurrency ;

 

-fun MoldovanLeu : Ind UnitOfCurrency ;

+  fun Milk_DairyProduct : SubClass Milk DairyProduct ;

 

-fun MongolianTugrik : Ind UnitOfCurrency ;

+  fun MilletFarming : Ind IndustryAttribute ;

 

-fun MoroccanDirham : Ind UnitOfCurrency ;

+  fun MilletGrain : Class ;

+  fun MilletGrain_Class : SubClass MilletGrain CerealGrain ;

 

--- MotorOil is the subclass of PetroleumLubricants 

--- that are used to lubricate motors.

-fun MotorOil : Class ;

-fun MotorOil_Class : SubClass MotorOil PetroleumLubricant ;

+  fun Millwork : Ind IndustryAttribute ;

 

-fun MotorVehicleAndMotorVehiclePartsAndSuppliesWholesalers : Ind IndustryAttribute ;

+  fun MiningExceptOilAndGas : Ind IndustryAttribute ;

 

-fun MotorVehicleAndPartsDealers : Ind IndustryAttribute ;

+  fun MiningIndustry : Ind IndustryAttribute ;

 

-fun MotorVehicleBodyAndTrailerManufacturing : 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 MotorVehicleIndustry : Ind IndustryAttribute ;

+  fun MoldovanLeu : Ind UnitOfCurrency ;

 

-fun MotorVehicleManufacturing : Ind IndustryAttribute ;

+  fun MongolianTugrik : Ind UnitOfCurrency ;

 

-fun MotorVehiclePartsManufacturing : Ind IndustryAttribute ;

+  fun MoroccanDirham : Ind UnitOfCurrency ;

 

-fun MozambiqueMetical : Ind UnitOfCurrency ;

+  -- MotorOil is the subclass of PetroleumLubricants 

+  -- that are used to lubricate motors.

+  fun MotorOil : Class ;

+  fun MotorOil_Class : SubClass MotorOil PetroleumLubricant ;

 

-fun MulberryLeaf : Class ;

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

+  fun MotorVehicleAndMotorVehiclePartsAndSuppliesWholesalers : Ind IndustryAttribute ;

 

-fun Mutton : Class ;

-fun Mutton_Class : SubClass Mutton Meat ;

-fun MyanmarKyat : Ind UnitOfCurrency ;

+  fun MotorVehicleAndPartsDealers : Ind IndustryAttribute ;

 

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

+  fun MotorVehicleBodyAndTrailerManufacturing : Ind IndustryAttribute ;

 

--- 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 MotorVehicleIndustry : Ind IndustryAttribute ;

 

+  fun MotorVehicleManufacturing : Ind IndustryAttribute ;

 

-fun NaturalGasDistribution : Ind IndustryAttribute ;

+  fun MotorVehiclePartsManufacturing : Ind IndustryAttribute ;

 

-fun NaturalGasIndustry : Ind IndustryAttribute ;

+  fun MozambiqueMetical : Ind UnitOfCurrency ;

 

-fun NaturalGasLiquidExtraction : Ind IndustryAttribute ;

+  fun MulberryLeaf : Class ;

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

 

--- 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 Mutton : Class ;

+  fun Mutton_Class : SubClass Mutton Meat ;

 

-fun NepaleseRupee : Ind UnitOfCurrency ;

+  fun MyanmarKyat : Ind UnitOfCurrency ;

 

-fun NewZealandDollar : 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 ;

 

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

+  -- 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 NicaraguanCordoba : Ind UnitOfCurrency ;

+  fun NaturalGasIndustry : Ind IndustryAttribute ;

 

-fun NickelOre : Class ;

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

+  fun NaturalGasLiquidExtraction : Ind IndustryAttribute ;

 

-fun NigerFranc : Ind UnitOfCurrency ;

+  -- 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 NigerianNaira : Ind UnitOfCurrency ;

+  fun NepaleseRupee : Ind UnitOfCurrency ;

 

-fun NorfolkIslandPineSeed : Class ;

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

+  fun NewZealandDollar : Ind UnitOfCurrency ;

 

-fun NorthKoreanWon : 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 NorwegianKrone : Ind UnitOfCurrency ;

+  fun NicaraguanCordoba : Ind UnitOfCurrency ;

 

-fun NuclearPowerGeneration : Ind PowerGeneration ;

+  fun NickelOre : Class ;

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

 

-fun Nut : Class ;

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

+  fun NigerFranc : Ind UnitOfCurrency ;

 

-fun Nutmeg : Class ;

-fun Nutmeg_Class : SubClass Nutmeg Spice ;

-fun OatFarming : Ind IndustryAttribute ;

+  fun NigerianNaira : Ind UnitOfCurrency ;

 

-fun OatGrain : Class ;

-fun OatGrain_Class : SubClass OatGrain CerealGrain ;

-fun OffshoreBankingSectorEconomy : Ind FinancialSectorAttribute ;

+  fun NorfolkIslandPineSeed : Class ;

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

 

-fun OffshoreFinancialSectorEconomy : Ind FinancialSectorAttribute ;

+  fun NorthKoreanWon : Ind UnitOfCurrency ;

 

-fun Oilseed : Class ;

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

+  fun NorwegianKrone : Ind UnitOfCurrency ;

 

--- Okoume (Aucoumea klaineana), also called 

--- 'gaboon', is a wood of West African origin.

-fun Okoume : Class ;

-fun Okoume_Class : SubClass Okoume Hardwood ;

+  fun NuclearPowerGeneration : Ind PowerGeneration ;

 

-fun Olive : Class ;

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

+  fun Nut : Class ;

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

 

-fun OliveOil : Class ;

-fun OliveOil_Class : SubClass OliveOil VegetableOil ;

-fun OmaniRiyal : Ind UnitOfCurrency ;

+  fun Nutmeg : Class ;

+  fun Nutmeg_Class : SubClass Nutmeg Spice ;

 

-fun OpiumPoppy : Class ;

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

+  fun OatFarming : Ind IndustryAttribute ;

 

-fun OpiumPoppyFarming : Class ;

-fun OpiumPoppyFarming_Class : SubClass OpiumPoppyFarming Farming ;

-fun Opium_Narcotic : SubClass Opium Narcotic ;

+  fun OatGrain : Class ;

+  fun OatGrain_Class : SubClass OatGrain CerealGrain ;

 

-fun Opium_PlantAgriculturalProduct : SubClass Opium PlantAgriculturalProduct ;

+  fun OffshoreBankingSectorEconomy : Ind FinancialSectorAttribute ;

 

-fun Orchid : Class ;

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

+  fun OffshoreFinancialSectorEconomy : Ind FinancialSectorAttribute ;

 

-fun OrnamentalFish : Class ;

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

+  fun Oilseed : Class ;

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

 

--- OtherSourcePowerGeneration 

--- represents all non_fossil fuel, non_hydroelectric, and non_nuclear power 

--- generation processes, e.g., wind power generation.

-fun OtherSourcePowerGeneration : Ind PowerGeneration ;

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

 

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

+  fun OliveOil : Class ;

+  fun OliveOil_Class : SubClass OliveOil VegetableOil ;

 

+  fun OmaniRiyal : Ind UnitOfCurrency ;

 

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

+  fun OpiumPoppy : Class ;

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

 

--- PackagedFoodProduct is the 

--- class of Products that consist of a FoodProduct in a package.

-fun PackagedFoodProduct : Class ;

-fun PackagedFoodProduct_Class : SubClass PackagedFoodProduct Product ;

+  fun OpiumPoppyFarming : Class ;

+  fun OpiumPoppyFarming_Class : SubClass OpiumPoppyFarming Farming ;

 

-fun PaddyRice : Class ;

-fun PaddyRice_Class : SubClass PaddyRice CerealGrass ;

-fun PakistaniRupee : Ind UnitOfCurrency ;

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

+  -- opium poppy that contains various powerful alkaloids.

+  fun Opium : Class ;

+  fun Opium_Class : SubClass Opium (both (both Depressant Narcotic) (both PlantSubstance PlantAgriculturalProduct)) ;

 

-fun 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 Orchid : Class ;

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

 

-fun PanamanianBalboa : Ind UnitOfCurrency ;

+  fun OrnamentalFish : Class ;

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

 

-fun Papaw : Class ;

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

+  -- OtherSourcePowerGeneration 

+  -- represents all non_fossil fuel, non_hydroelectric, and non_nuclear power 

+  -- generation processes, e.g., wind power generation.

+  fun OtherSourcePowerGeneration : Ind PowerGeneration ;

 

-fun Papaya : Class ;

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

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

 

-fun PapuanKina : Ind UnitOfCurrency ;

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

 

-fun ParaguayanGuarani : Ind UnitOfCurrency ;

+  -- PackagedFoodProduct is the 

+  -- class of Products that consist of a FoodProduct in a package.

+  fun PackagedFoodProduct : Class ;

+  fun PackagedFoodProduct_Class : SubClass PackagedFoodProduct Product ;

 

-fun PartialMarketEconomy : Ind EconomicSystemAttribute ;

+  fun PaddyRice : Class ;

+  fun PaddyRice_Class : SubClass PaddyRice CerealGrass ;

 

-fun PassionFruit : Class ;

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

+  fun PakistaniRupee : Ind UnitOfCurrency ;

 

-fun Pea_Legume : SubClass Pea Legume ;

+  fun PalmKernel : Class ;

+  fun PalmKernel_Class : SubClass PalmKernel PlantAgriculturalProduct ;

 

-fun Peanut : Class ;

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

+  fun PalmOil : Class ;

+  fun PalmOil_Class : SubClass PalmOil VegetableOil ;

 

-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 PalmOilNut : Class ;

+  fun PalmOilNut_Class : SubClass PalmOilNut (both Nut PlantAgriculturalProduct) ;

 

+  fun PanamanianBalboa : Ind UnitOfCurrency ;

 

-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 Papaw : Class ;

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

 

-fun PeruvianInti : Ind UnitOfCurrency ;

+  fun Papaya : Class ;

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

 

--- 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 PapuanKina : Ind UnitOfCurrency ;

 

-fun PetroleumBasedEconomy : Ind FinancialSectorAttribute ;

+  fun ParaguayanGuarani : Ind UnitOfCurrency ;

 

-fun PetroleumIndustry : Ind IndustryAttribute ;

+  fun PartialMarketEconomy : Ind EconomicSystemAttribute ;

 

--- PetroleumLubricant is the subclass of 

--- RefinedPetroleumProducts that are lubricants.

-fun PetroleumLubricant : Class ;

-fun PetroleumLubricant_Class : SubClass PetroleumLubricant RefinedPetroleumProduct ;

+  fun PassionFruit : Class ;

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

 

-fun PetroleumProductsManufacturing : Ind IndustryAttribute ;

+  -- The edible Seed of a pea plant.

+  fun Pea : Class ;

+  fun Pea_Class : SubClass Pea (both (both Food Seed) Legume) ;

 

-fun PetroleumRefineries : Ind IndustryAttribute ;

+  fun Peanut : Class ;

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

 

-fun PharmaceuticalProduct : Class ;

-fun PharmaceuticalProduct_Class : SubClass PharmaceuticalProduct ManufacturedProduct ;

-fun PhilippinePeso : Ind UnitOfCurrency ;

+  fun Pearl : Class ;

+  fun Pearl_Class : SubClass Pearl Jewelry ;

 

-fun PhosphoricAcid : Class ;

-fun PhosphoricAcid_Class : SubClass PhosphoricAcid CompoundSubstance ;

-fun Pineapple : Class ;

-fun Pineapple_Class : SubClass Pineapple (both GroceryProduce TropicalFruit) ;

+  fun PecanNut : Class ;

+  fun PecanNut_Class : SubClass PecanNut EdibleNut ;

 

-fun PipelineTransportationOfNaturalGas : Ind IndustryAttribute ;

+  -- 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 Plantain : Class ;

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

+  fun PerfumeEssence : Class ;

+  fun PerfumeEssence_Class : SubClass PerfumeEssence PlantAgriculturalProduct ;

 

-fun Plastic : Class ;

-fun Plastic_Class : SubClass Plastic ManufacturedProduct ;

-fun PolishZloty : Ind UnitOfCurrency ;

+  -- PersonalAdornment is the subclass 

+  -- of WearableItems that are worn primarily for decorative purposes.

+  fun PersonalAdornment : Class ;

+  fun PersonalAdornment_Class : SubClass PersonalAdornment WearableItem ;

 

-fun Poppy : Class ;

-fun Poppy_Class : SubClass Poppy FloweringPlant ;

-fun PortugueseEscudo : Ind UnitOfCurrency ;

+  fun PeruvianInti : Ind UnitOfCurrency ;

 

-fun PotatoTuber : Class ;

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

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

 

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

+  fun PetroleumBasedEconomy : Ind FinancialSectorAttribute ;

 

--- 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 PetroleumIndustry : Ind IndustryAttribute ;

 

+  -- PetroleumLubricant is the subclass of 

+  -- RefinedPetroleumProducts that are lubricants.

+  fun PetroleumLubricant : Class ;

+  fun PetroleumLubricant_Class : SubClass PetroleumLubricant RefinedPetroleumProduct ;

 

-fun PrimarySmeltingAndRefiningOfCopper : Ind IndustryAttribute ;

+  fun PetroleumProductsManufacturing : 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 ;

+  fun PetroleumRefineries : Ind IndustryAttribute ;

 

+  fun PharmaceuticalProduct : Class ;

+  fun PharmaceuticalProduct_Class : SubClass PharmaceuticalProduct ManufacturedProduct ;

 

--- PrivatizingEconomy is an 

--- Attribute that describes a country in which formerly government_

--- owned industries are being transferred into private holdings.

-fun PrivatizingEconomy : Ind EconomicSystemAttribute ;

+  fun PhilippinePeso : Ind UnitOfCurrency ;

 

+  fun PhosphoricAcid : Class ;

+  fun PhosphoricAcid_Class : SubClass PhosphoricAcid CompoundSubstance ;

 

--- ProductPackage is the class of objects 

--- designed to contain Products for shipping and sale.

-fun ProductPackage : Class ;

-fun ProductPackage_Class : SubClass ProductPackage Container ;

+  fun Pineapple : Class ;

+  fun Pineapple_Class : SubClass Pineapple (both GroceryProduce TropicalFruit) ;

 

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

+  fun PipelineTransportationOfNaturalGas : Ind IndustryAttribute ;

 

+  fun Plantain : Class ;

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

 

--- PureSocialistEconomy is an 

--- Attribute representing a socialist economy that has no admixture of 

--- capitalism.

-fun PureSocialistEconomy : Ind EconomicSystemAttribute ;

+  fun Plastic : Class ;

+  fun Plastic_Class : SubClass Plastic ManufacturedProduct ;

 

+  fun PolishZloty : Ind UnitOfCurrency ;

 

--- 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 Poppy : Class ;

+  fun Poppy_Class : SubClass Poppy FloweringPlant ;

 

+  fun PortugueseEscudo : Ind UnitOfCurrency ;

 

-fun QatariRiyal : Ind UnitOfCurrency ;

+  fun PotatoTuber : Class ;

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

 

-fun Quinine : Class ;

-fun Quinine_Class : SubClass Quinine PlantAgriculturalProduct ;

-fun ReadyMixConcrete : Class ;

-fun ReadyMixConcrete_Class : SubClass ReadyMixConcrete Concrete ;

-fun RefrigeratedWarehousingAndStorage : Ind IndustryAttribute ;

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

 

-fun RefrigerationEquipmentAndSuppliesWholesalers : Ind IndustryAttribute ;

+  -- 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 RefrigerationEquipmentManufacturing : Ind IndustryAttribute ;

+  fun PrimarySmeltingAndRefiningOfCopper : Ind IndustryAttribute ;

 

-fun RefrigeratorAndFreezerIndustry : 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 ;

 

-fun Refrigerator_MajorAppliance : SubClass Refrigerator MajorAppliance ;

+  -- PrivatizingEconomy is an 

+  -- Attribute that describes a country in which formerly government_

+  -- owned industries are being transferred into private holdings.

+  fun PrivatizingEconomy : Ind EconomicSystemAttribute ;

 

-fun Reindeer : Class ;

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

+  -- ProductPackage is the class of objects 

+  -- designed to contain Products for shipping and sale.

+  fun ProductPackage : Class ;

+  fun ProductPackage_Class : SubClass ProductPackage Container ;

 

-fun RiceFarming : Ind IndustryAttribute ;

+  fun Pulse : Class ;

+  fun Pulse_Class : SubClass Pulse Legume ;

 

-fun RomanianLeu : Ind UnitOfCurrency ;

+  -- PureCapitalistEconomy is an 

+  -- Attribute representing a capitalist economy that has no admixture of 

+  -- socialism.

+  fun PureCapitalistEconomy : Ind EconomicSystemAttribute ;

 

-fun RootStarch : Class ;

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

+  -- PureSocialistEconomy is an Attribute representing a 

+  -- socialist economy that has no admixture of capitalism.

+  fun PureSocialistEconomy : Ind EconomicSystemAttribute ;

 

-fun RootVegetable : Class ;

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

+  -- 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 RussianRuble : Ind UnitOfCurrency ;

+  fun QatariRiyal : Ind UnitOfCurrency ;

 

-fun RwandaFranc : Ind UnitOfCurrency ;

+  fun Quinine : Class ;

+  fun Quinine_Class : SubClass Quinine PlantAgriculturalProduct ;

 

-fun RyeFarming : Ind IndustryAttribute ;

+  fun ReadyMixConcrete : Class ;

+  fun ReadyMixConcrete_Class : SubClass ReadyMixConcrete Concrete ;

 

-fun RyeGrain : Class ;

-fun RyeGrain_Class : SubClass RyeGrain CerealGrain ;

-fun Salmon : Class ;

-fun Salmon_Class : SubClass Salmon FoodFish ;

-fun SaoThomeEPrincipeDobra : Ind UnitOfCurrency ;

+  fun RefrigeratedWarehousingAndStorage : Ind IndustryAttribute ;

 

-fun SaudiArabianRiyal : Ind UnitOfCurrency ;

+  fun RefrigerationEquipmentAndSuppliesWholesalers : Ind IndustryAttribute ;

 

-fun Seafood : Class ;

-fun Seafood_Class : SubClass Seafood Meat ;

-fun Seed_FruitOrVegetable : SubClass Seed FruitOrVegetable ;

+  fun RefrigerationEquipmentManufacturing : Ind IndustryAttribute ;

 

--- 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 RefrigeratorAndFreezerIndustry : Ind IndustryAttribute ;

 

+  fun Refrigerator_MajorAppliance : SubClass Refrigerator MajorAppliance ;

 

-fun SenegaleseFranc : Ind UnitOfCurrency ;

+  fun Reindeer : Class ;

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

 

-fun SenepolCattle : Class ;

-fun SenepolCattle_Class : SubClass SenepolCattle Cattle ;

-fun ServiceBasedEconomy : Ind FinancialSectorAttribute ;

+  fun RiceFarming : Ind IndustryAttribute ;

 

-fun ServiceSector : Ind IndustryAttribute ;

+  fun RomanianLeu : Ind UnitOfCurrency ;

 

-fun Sesame : Class ;

-fun Sesame_Class : SubClass Sesame PlantAgriculturalProduct ;

-fun SeychellesRupee : Ind UnitOfCurrency ;

+  fun RootStarch : Class ;

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

 

-fun SheaNut : Class ;

-fun SheaNut_Class : SubClass SheaNut EdibleNut ;

-fun Sheep_Livestock : SubClass Sheep Livestock ;

+  fun RootVegetable : Class ;

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

 

-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 RussianRuble : Ind UnitOfCurrency ;

 

-fun SingaporeDollar : Ind UnitOfCurrency ;

+  fun RwandaFranc : Ind UnitOfCurrency ;

 

-fun SisalFiber : Class ;

-fun SisalFiber_Class : SubClass SisalFiber PlantAgriculturalProduct ;

-fun SlovakianKoruna : Ind UnitOfCurrency ;

+  fun RyeFarming : Ind IndustryAttribute ;

 

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

+  fun RyeGrain : Class ;

+  fun RyeGrain_Class : SubClass RyeGrain CerealGrain ;

 

--- 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 Salmon : Class ;

+  fun Salmon_Class : SubClass Salmon FoodFish ;

 

+  fun SaoThomeEPrincipeDobra : Ind UnitOfCurrency ;

 

-fun SomalianShilling : Ind UnitOfCurrency ;

+  fun SaudiArabianRiyal : Ind UnitOfCurrency ;

 

-fun Sorghum : Class ;

-fun Sorghum_Class : SubClass Sorghum CerealGrass ;

-fun SorghumFarming : Ind IndustryAttribute ;

+  fun Seafood : Class ;

+  fun Seafood_Class : SubClass Seafood Meat ;

 

-fun SorghumGrain : Class ;

-fun SorghumGrain_Class : SubClass SorghumGrain CerealGrain ;

-fun SouthAfricanRand : Ind UnitOfCurrency ;

+  fun Seed_FruitOrVegetable : SubClass Seed FruitOrVegetable ;

 

-fun SouthKoreanWon : Ind UnitOfCurrency ;

+  -- 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 Soya : Class ;

-fun Soya_Class : SubClass Soya PlantAgriculturalProduct ;

-fun Soybean : Class ;

-fun Soybean_Class : SubClass Soybean Bean ;

-fun SpanishPeseta : Ind UnitOfCurrency ;

+  fun SenegaleseFranc : Ind UnitOfCurrency ;

 

-fun Spice : Class ;

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

+  fun SenepolCattle : Class ;

+  fun SenepolCattle_Class : SubClass SenepolCattle Cattle ;

 

-fun SpicePepper : Class ;

-fun SpicePepper_Class : SubClass SpicePepper Spice ;

-fun Squash : Class ;

-fun Squash_Class : SubClass Squash (both GroceryProduce Vegetable) ;

+  fun ServiceBasedEconomy : Ind FinancialSectorAttribute ;

 

-fun SriLankanRupee : Ind UnitOfCurrency ;

+  fun ServiceSector : Ind IndustryAttribute ;

 

-fun SteelForging : Ind IndustryAttribute ;

+  fun Sesame : Class ;

+  fun Sesame_Class : SubClass Sesame PlantAgriculturalProduct ;

 

-fun SteelFoundriesExceptInvestment : Ind IndustryAttribute ;

+  fun SeychellesRupee : Ind UnitOfCurrency ;

 

-fun SteelIndustry : Ind IndustryAttribute ;

+  fun SheaNut : Class ;

+  fun SheaNut_Class : SubClass SheaNut EdibleNut ;

 

-fun SteelInvestmentFoundries : Ind IndustryAttribute ;

+  fun Sheep_Livestock : SubClass Sheep Livestock ;

 

-fun SteelMills : Ind IndustryAttribute ;

+  fun Sheepskin : Class ;

+  fun Sheepskin_Class : SubClass Sheepskin Pelt ;

 

-fun SteelProductManufacturingFromPurchasedSteel : Ind IndustryAttribute ;

+  fun Shellfish : Class ;

+  fun Shellfish_Class : SubClass Shellfish Seafood ;

 

-fun Steel_MetalProduct : SubClass Steel MetalProduct ;

+  fun Shrimp : Class ;

+  fun Shrimp_Class : SubClass Shrimp Shellfish ;

 

-fun SubsistenceAgricultureEconomy : Ind FinancialSectorAttribute ;

+  fun SierraLeoneLeone : Ind UnitOfCurrency ;

 

-fun SudanesePound : Ind UnitOfCurrency ;

+  fun SingaporeDollar : Ind UnitOfCurrency ;

 

-fun SugarBeet : Class ;

-fun SugarBeet_Class : SubClass SugarBeet Vegetable ;

-fun SugarCane : Class ;

-fun SugarCane_Class : SubClass SugarCane (both GroceryProduce Vegetable) ;

+  fun SisalFiber : Class ;

+  fun SisalFiber_Class : SubClass SisalFiber PlantAgriculturalProduct ;

 

-fun Sugar_PlantAgriculturalProduct : SubClass Sugar PlantAgriculturalProduct ;

+  fun SlovakianKoruna : Ind UnitOfCurrency ;

 

-fun Sugar_Substance : SubClass Sugar Substance ;

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

 

-fun Sunflower : Class ;

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

+  -- 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 SunflowerSeed : Class ;

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

+  fun SomalianShilling : Ind UnitOfCurrency ;

 

-fun SupportActivitiesForMetalMining : Ind IndustryAttribute ;

+  fun Sorghum : Class ;

+  fun Sorghum_Class : SubClass Sorghum CerealGrass ;

 

-fun SupportActivitiesForNonmetallicMineralsExceptFuels : Ind IndustryAttribute ;

+  fun SorghumFarming : Ind IndustryAttribute ;

 

-fun SupportActivitiesForOilOperations : Ind IndustryAttribute ;

+  fun SorghumGrain : Class ;

+  fun SorghumGrain_Class : SubClass SorghumGrain CerealGrain ;

 

-fun SurinameseGuilder : Ind UnitOfCurrency ;

+  fun SouthAfricanRand : Ind UnitOfCurrency ;

 

-fun SwazilandLilangeni : Ind UnitOfCurrency ;

+  fun SouthKoreanWon : Ind UnitOfCurrency ;

 

-fun SwedishKrona : Ind UnitOfCurrency ;

+  fun Soya : Class ;

+  fun Soya_Class : SubClass Soya PlantAgriculturalProduct ;

 

-fun SweetPepper : Class ;

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

+  fun Soybean : Class ;

+  fun Soybean_Class : SubClass Soybean Bean ;

 

-fun SweetPotatoTuber : Class ;

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

+  fun SpanishPeseta : Ind UnitOfCurrency ;

 

-fun SwissFranc : Ind UnitOfCurrency ;

+  fun Spice : Class ;

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

 

-fun SyrianPound : Ind UnitOfCurrency ;

+  fun SpicePepper : Class ;

+  fun SpicePepper_Class : SubClass SpicePepper Spice ;

 

-fun TaiwanDollar : Ind UnitOfCurrency ;

+  fun Squash : Class ;

+  fun Squash_Class : SubClass Squash (both GroceryProduce Vegetable) ;

 

-fun TajikSomoni : Ind UnitOfCurrency ;

+  fun SriLankanRupee : Ind UnitOfCurrency ;

 

-fun TajikSomoniCoin : Class ;

-fun TajikSomoniCoin_Class : SubClass TajikSomoniCoin CurrencyCoin ;

-fun TajikistaniRuble : Ind UnitOfCurrency ;

+  fun SteelForging : Ind IndustryAttribute ;

 

-fun TanzanianShilling : Ind UnitOfCurrency ;

+  fun SteelFoundriesExceptInvestment : Ind IndustryAttribute ;

 

-fun TaroTuber : Class ;

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

+  fun SteelIndustry : Ind IndustryAttribute ;

 

-fun TaxHavenEconomy : Ind FinancialSectorAttribute ;

+  fun SteelInvestmentFoundries : Ind IndustryAttribute ;

 

-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 SteelMills : Ind IndustryAttribute ;

 

-fun TextileIndustry : Ind IndustryAttribute ;

+  fun SteelProductManufacturingFromPurchasedSteel : Ind IndustryAttribute ;

 

-fun TextileMills : Ind IndustryAttribute ;

+  fun Steel_MetalProduct : SubClass Steel MetalProduct ;

 

-fun TextileProduct : Class ;

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

+  fun SubsistenceAgricultureEconomy : Ind FinancialSectorAttribute ;

 

-fun TextileProductMills : Ind IndustryAttribute ;

+  fun SudanesePound : Ind UnitOfCurrency ;

 

-fun ThaiBaht : Ind UnitOfCurrency ;

+  fun SugarBeet : Class ;

+  fun SugarBeet_Class : SubClass SugarBeet Vegetable ;

 

--- 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 SugarCane : Class ;

+  fun SugarCane_Class : SubClass SugarCane (both GroceryProduce Vegetable) ;

 

+  fun Sunflower : Class ;

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

 

-fun Tobacco_PlantAgriculturalProduct : SubClass Tobacco PlantAgriculturalProduct ;

+  fun SunflowerSeed : Class ;

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

 

-fun TogoFranc : Ind UnitOfCurrency ;

+  fun SupportActivitiesForMetalMining : Ind IndustryAttribute ;

 

-fun Tomato : Class ;

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

+  fun SupportActivitiesForNonmetallicMineralsExceptFuels : Ind IndustryAttribute ;

 

-fun TonganPaanga : Ind UnitOfCurrency ;

+  fun SupportActivitiesForOilOperations : Ind IndustryAttribute ;

 

-fun TourismBasedEconomy : Ind FinancialSectorAttribute ;

+  fun SurinameseGuilder : Ind UnitOfCurrency ;

 

--- 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 SwazilandLilangeni : Ind UnitOfCurrency ;

 

+  fun SwedishKrona : Ind UnitOfCurrency ;

 

-fun TradeBasedEconomy : Ind FinancialSectorAttribute ;

+  fun SweetPepper : Class ;

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

 

-fun TrinidadAndTobagoDollar : Ind UnitOfCurrency ;

+  fun SweetPotatoTuber : Class ;

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

 

-fun TropicalFruit : Class ;

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

+  fun SwissFranc : Ind UnitOfCurrency ;

 

-fun TunisianDinar : Ind UnitOfCurrency ;

+  fun SyrianPound : 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 TaiwanDollar : Ind UnitOfCurrency ;

 

-fun TurkmenManat : Ind UnitOfCurrency ;

+  fun TajikSomoni : Ind UnitOfCurrency ;

 

-fun Turnip : Class ;

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

+  fun TajikSomoniCoin : Class ;

+  fun TajikSomoniCoin_Class : SubClass TajikSomoniCoin CurrencyCoin ;

 

-fun Turtle : Class ;

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

+  fun TajikistaniRuble : Ind UnitOfCurrency ;

 

-fun TuvaluDollar : Ind UnitOfCurrency ;

+  fun TanzanianShilling : Ind UnitOfCurrency ;

 

-fun TwoTierLaborMarketEconomy : Ind FinancialSectorAttribute ;

+  fun TaroTuber : Class ;

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

 

--- 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 TaxHavenEconomy : Ind FinancialSectorAttribute ;

 

-fun UgandanShilling : Ind UnitOfCurrency ;

+  fun TeaLeaf : Class ;

+  fun TeaLeaf_Class : SubClass TeaLeaf TeaPlantAerialPart ;

 

-fun UkranianHryvnia : Ind UnitOfCurrency ;

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

 

--- UnderdevelopedCountry is an 

--- Attribute describing less developed countries that have potential 

--- for above_average economic growth. See also LessDevelopedCountry.

-fun UnderdevelopedCountry : Ind EconomicDevelopmentLevel ;

+  fun TextileIndustry : Ind IndustryAttribute ;

 

+  fun TextileMills : Ind IndustryAttribute ;

 

-fun UnitedArabEmirateDirham : Ind UnitOfCurrency ;

+  fun TextileProduct : Class ;

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

 

-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 TextileProductMills : Ind IndustryAttribute ;

 

+  fun ThaiBaht : Ind UnitOfCurrency ;

 

-fun UruguayanPeso : 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 UzbekistaniSom : Ind UnitOfCurrency ;

+  fun TogoFranc : 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 Tomato : Class ;

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

 

-fun VegetableOil : Class ;

-fun VegetableOil_Class : SubClass VegetableOil PlantAgriculturalProduct ;

-fun VegetableOilIndustry : Ind IndustryAttribute ;

+  fun TonganPaanga : Ind UnitOfCurrency ;

 

-fun VenezuelanBolivar : Ind UnitOfCurrency ;

+  fun TourismBasedEconomy : Ind FinancialSectorAttribute ;

 

-fun VietnameseDong : Ind UnitOfCurrency ;

+  -- 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 Walnut : Class ;

-fun Walnut_Class : SubClass Walnut EdibleNut ;

-fun WaterBuffalo : Class ;

-fun WaterBuffalo_Class : SubClass WaterBuffalo (both HoofedMammal Livestock) ;

+  fun TradeBasedEconomy : Ind FinancialSectorAttribute ;

 

-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 TrinidadAndTobagoDollar : Ind UnitOfCurrency ;

 

+  fun TropicalFruit : Class ;

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

 

-fun WesternSamoaNtala : Ind UnitOfCurrency ;

+  fun TunisianDinar : Ind UnitOfCurrency ;

 

-fun WheatFarming : Ind IndustryAttribute ;

+  fun TurkeyBird : Class ;

+  fun TurkeyBird_Class : SubClass TurkeyBird Poultry ;

 

-fun WineGrape : Class ;

-fun WineGrape_Class : SubClass WineGrape PlantAgriculturalProduct ;

-fun Wine_Beverage : SubClass Wine Beverage ;

+  fun TurkeyMeat : Class ;

+  fun TurkeyMeat_Class : SubClass TurkeyMeat Meat ;

 

-fun Wine_PlantAgriculturalProduct : SubClass Wine PlantAgriculturalProduct ;

+  fun TurkishLira : Ind UnitOfCurrency ;

 

-fun WoodProduct : Class ;

-fun WoodProduct_Class : SubClass WoodProduct ForestProduct ;

-fun WoodProductManufacturing : Ind IndustryAttribute ;

+  fun TurkmenManat : Ind UnitOfCurrency ;

 

-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 Turnip : Class ;

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

 

-fun YamTuber : Class ;

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

+  fun Turtle : Class ;

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

 

-fun YemeniRial : Ind UnitOfCurrency ;

+  fun TuvaluDollar : Ind UnitOfCurrency ;

 

-fun YlangYlang : Class ;

-fun YlangYlang_Class : SubClass YlangYlang PerfumeEssence ;

-fun Yugoslavia : Ind Nation ;

+  fun TwoTierLaborMarketEconomy : Ind FinancialSectorAttribute ;

 

-fun YugoslavianDinar : Ind UnitOfCurrency ;

+  -- 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 ZaireSezaire : Ind UnitOfCurrency ;

+  fun UgandanShilling : Ind UnitOfCurrency ;

 

-fun ZambianKwacha : Ind UnitOfCurrency ;

+  fun UkranianHryvnia : Ind UnitOfCurrency ;

 

-fun ZimbabweanDollar : 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 ZincIndustry : Ind IndustryAttribute ;

+  fun UnitedArabEmirateDirham : Ind UnitOfCurrency ;

 

-fun ZincManufacturing : Ind IndustryAttribute ;

+  fun UnitedStatesCentCoin : Class ;

+  fun UnitedStatesCentCoin_Class : SubClass UnitedStatesCentCoin CurrencyCoin ;

 

-fun ZincOre : Class ;

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

+  fun UnitedStatesDollarBill : Class ;

+  fun UnitedStatesDollarBill_Class : SubClass UnitedStatesDollarBill CurrencyBill ;

 

-fun ZincOreMining : Ind IndustryAttribute ;

+  fun UnitedStatesFiveCentCoin : Class ;

+  fun UnitedStatesFiveCentCoin_Class : SubClass UnitedStatesFiveCentCoin CurrencyCoin ;

 

-fun ZincProduct : Class ;

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

+  fun UnitedStatesQuarterCoin : Class ;

+  fun UnitedStatesQuarterCoin_Class : SubClass UnitedStatesQuarterCoin CurrencyCoin ;

 

--- (agriculturalProductType ?AREA ?TYPE) means that the 

--- GeopoliticalArea ?AREA produces a crop or other 

--- agricultural product of ?TYPE.

-fun agriculturalProductType: El GeopoliticalArea -> Desc Object -> Formula ;

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

 

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

+  fun UruguayanPeso : Ind UnitOfCurrency ;

 

+  fun UzbekistaniSom : Ind UnitOfCurrency ;

 

--- (annualElectricityConsumption ?AREA ?AMOUNT) means that the 

--- GeopoliticalArea ?AREA uses ?AMOUNT of electricity (measured in 

--- KilowattHours) annually.

-fun annualElectricityConsumption : El GeopoliticalArea -> El PhysicalQuantity -> Formula ;

+  fun Vanilla : Class ;

+  fun Vanilla_Class : SubClass Vanilla Spice ;

 

+  fun Veal : Class ;

+  fun Veal_Class : SubClass Veal Meat ;

 

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

+  fun Vegetable : Class ;

+  fun Vegetable_Class : SubClass Vegetable FruitOrVegetable ;

 

+  fun VegetableFarming : Ind IndustryAttribute ;

 

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

+  fun VegetableOil : Class ;

+  fun VegetableOil_Class : SubClass VegetableOil PlantAgriculturalProduct ;

 

+  fun VegetableOilIndustry : Ind IndustryAttribute ;

 

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

+  fun VenezuelanBolivar : Ind UnitOfCurrency ;

 

+  fun VietnameseDong : Ind UnitOfCurrency ;

 

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

+  fun Walnut : Class ;

+  fun Walnut_Class : SubClass Walnut EdibleNut ;

 

+  fun WaterBuffalo : Class ;

+  fun WaterBuffalo_Class : SubClass WaterBuffalo (both HoofedMammal Livestock) ;

 

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

+  fun WaterBuffaloMeat : Class ;

+  fun WaterBuffaloMeat_Class : SubClass WaterBuffaloMeat Meat ;

 

+  fun Watermelon : Class ;

+  fun Watermelon_Class : SubClass Watermelon Melon ;

 

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

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

 

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

+  fun WheatFarming : Ind IndustryAttribute ;

 

+  fun WineGrape : Class ;

+  fun WineGrape_Class : SubClass WineGrape PlantAgriculturalProduct ;

 

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

+  fun WoodProduct : Class ;

+  fun WoodProduct_Class : SubClass WoodProduct ForestProduct ;

 

+  fun WoodProductManufacturing : Ind IndustryAttribute ;

 

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

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

 

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

+  fun YamTuber : Class ;

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

 

+  fun YemeniRial : Ind UnitOfCurrency ;

 

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

+  fun YlangYlang : Class ;

+  fun YlangYlang_Class : SubClass YlangYlang PerfumeEssence ;

 

+  fun Yugoslavia : Ind Nation ;

 

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

+  fun YugoslavianDinar : Ind UnitOfCurrency ;

 

+  fun ZaireSezaire : Ind UnitOfCurrency ;

 

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

+  fun ZambianKwacha : Ind UnitOfCurrency ;

 

+  fun ZimbabweanDollar : Ind UnitOfCurrency ;

 

--- (currencyExchangeRate ?UNIT ?AMOUNT) means that the currency 

--- denomination ?UNIT is worth ?AMOUNT (which is in another 

--- CurrencyMeasure).

-fun currencyExchangeRate : El UnitOfCurrency -> El CurrencyMeasure -> Formula ;

+  fun ZincIndustry : Ind IndustryAttribute ;

 

+  fun ZincManufacturing : Ind IndustryAttribute ;

 

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

+  fun ZincOre : Class ;

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

 

+  fun ZincOreMining : Ind IndustryAttribute ;

 

--- (currencyType ?AREA ?UNIT) means 

--- that the official currency used in the GeopoliticalArea ?AREA 

--- is the UnitOfMeasure ?UNIT.

-fun currencyType : El GeopoliticalArea -> El UnitOfCurrency -> Formula ;

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

 

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

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

 

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

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

 

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

 }