;; Different quantites in the countries example, documentation on them, and some ;; sample assertions, to give an idea of what we expect to handle. ;; 9:17 PM 10/20/2002 ;; What does one do about dimensions like -- ;; (consumptionAmountDuring UnitedStatesOfAmerica (ProductFn NaturalGas) (YearFn 1997) ((Tera CubicFoot) 22.0)) ;; Clearly, here we have a dimension that is consumptionAmountDuring-NaturalGas-1997, ;; and the variation and distribution is wrt countries. "(grossDomesticProduct GE THING MONEY) means that the instance of Money MONEY is a measure of the value of the GeopoliticalEntity GE's total domestic production of goods and services during the temporal extent of the TemporalThing THING. A country would be a typical instance of GE. THING will often be a time period -- for example, a calendar year such as (YearFn 1997) or a calendar quarter such as (QuarterFn 4 (YearFn 1997)); but it may also be, for instance, a particular Event. MONEY will sometimes be specified using the function USDollarFn, which returns a UnitOfMoney denominated in US dollars of a particular year; for example, to express the fact that the gross domestic product of the United Arab Emirates for 1997 was $35,930,000,000 in 1990 U.S. dollars, we can say (grossDomesticProduct UnitedArabEmirates (YearFn 1997) ((USDollarFn 1990) 3.593e+10)). See also grossDomesticProduct-Nominal and grossNationalProduct." (grossDomesticProduct Iran (YearFn 1995) (Dollar-UnitedStates 3.76883E9)) (grossDomesticProduct Spain (YearFn 1996) ((Giga (USDollarFn 1996)) 593)) (grossDomesticProduct Indonesia-TheNation (YearFn 1996) (BillionDollars 779.7)) (grossDomesticProduct Iran (YearFn 1994) (Rial-Iran 1.3071E13)) ;;;;;;;;;;;;;;;;;;;;;;;;; "(birthRate AREA RATE) means that the GeographicalRegion AREA has a birth rate of RATE. It is most common to express RATE in nr. of births per 1000 population per year." "(deathRate AREA RATE) means that the GeographicalRegion AREA has a death rate of RATE. It is most common to express ?RATE in nr. of deaths per 1000 population per year." WFB95 (birthRate UnitedArabEmirates 27.02) (birthRate SaudiArabia 38.78) (birthRate UnitedStatesOfAmerica 15.25) (deathRate Afghanistan 18.53) (deathRate China-PeoplesRepublic 7.36) WFB97 (birthRate Algeria 28.01) (deathRate Algeria 5.76) (holdsIn TheYear1988 (birthRate Maldives 45)) in WorldGeographyDualistMt (holdsIn TheYear1986 (deathRate Maldives 11.8)) in WorldGeographyDualistMt (holdsIn (YearFn 1997) (birthRate Bahrain 23.01)) in CIAWorldFactbook1997Mt (holdsIn TheYear1986 (birthRate UnitedStatesOfAmerica 15.5)) in WorldGeographyDualistMt ;;;;;;;;;;;;;;;;;;;;;;;;;;; "This predicate relates a geographical region to its physical size or area. (areaOfRegion REGION AREA) means that the physical size of REGION is AREA. Examples: (areaOfRegion LakeErie (SquareMile 9940)), (areaOfRegion Elba-Island-Italy (SquareMile 86)), (areaOfRegion VaticanCity (SquareMile 0.17)), (areaOfRegion China-PeoplesRepublic (SquareMile 3705390)). For stating the areas of other (strictly or roughly "two-dimensional") sorts of objects, see the generalization areaOfObject; and see Area for ways of representing areas." Mt : CIAWorldFactbook1995Mt (areaOfRegion Greece (SquareKilometer 131940)) (areaOfRegion Australia (SquareKilometer 7686850)) (areaOfRegion China-PeoplesRepublic (SquareKilometer 9596960)) Mt : CIAWorldFactbook1997Mt (areaOfRegion Estonia (SquareKilometer 45226)) (areaOfRegion Canada (SquareKilometer 9976140)) Mt : EIAPagesMt (areaOfRegion Italy (SquareKilometer 301302)) (areaOfRegion Greece (SquareKilometer 131940)) ;; could also be in miles -- these are numbers for USA Mt : CIAWorldFactbook1995Mt areaOfRegion : (SquareKilometer 9372610) Mt : WorldGeographyDualistMt areaOfRegion : (SquareMile 3535935) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;; "(budgetExpenditures ORG COL THING MONEY) means that MONEY is a measure of the amount of money spent by the Organization ORG on instances of the specialization of SpatialThing-Localized COL during the temporal extent of the TemporalThing THING. ORG might, for example, be a Business, a LegalGovernmentOrganization, or a Country. COL might be any type of thing on or for which budget expenditures are made; for example, goods, services, institutions (such as government agencies or military organizations), or debt service. THING will often be a calendar time period; but it may also be, for instance, a particular Event." ;; All references seem to have GovernmentMilitaryOrganization as their second argument, COL. Mt : CIAWorldFactbook1995Mt (budgetExpenditures Germany GovernmentMilitaryOrganization (YearFn 1993) ((USDollarFn 1993) 4.0E10)) Mt : CIAWorldFactbook1997Mt (budgetExpenditures UnitedStatesOfAmerica GovernmentMilitaryOrganization (YearFn 1997) (BillionDollars 267.2)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; "(budgetExpenditureFractionOfGDP GE COL THING NR) means that NR is the quotient of the amount of money spent by the GeopoliticalEntity GE on instances of the specialization of SpatialThing-Localized COL during the temporal extent of the TemporalThing THING (as dividend) and the monetary value of GE's total domestic production of goods and services (its gross domestic product) during the temporal extent of THING (as divisor). A country would be a typical instance of GE. COL might be any type of thing on or for which budget expenditures are made; for example, goods, services, institutions (such as government agencies or military organizations), or debt service. THING will often be a calendar time period; but it may also be, for instance, a particular Event. For example, to express the fact that Oman's 1996 expenditure on the military was 13.7% of its gross domestic product for that year, we can say (budgetExpenditureFractionOfGDP Oman GovernmentMilitaryOrganization (YearFn 1996) (Percent 13.7)). See also budgetExpenditures and grossDomesticProduct." ;; seems like budgetExpenditureFractionOfGDP = budgetExpenditures/grossDomesticProduct Mt : CIAWorldFactbook1995Mt (budgetExpenditureFractionOfGDP Greece GovernmentMilitaryOrganization (YearFn 1995) (Percent 5.4)) (budgetExpenditureFractionOfGDP Australia GovernmentMilitaryOrganization (YearFn 1995) (Percent 2.2)) Mt : CIAWorldFactbook1997Mt (budgetExpenditureFractionOfGDP Latvia GovernmentMilitaryOrganization (YearFn 1997) (Percent 3)) (budgetExpenditureFractionOfGDP Albania GovernmentMilitaryOrganization (YearFn 1997) (Percent 1.5)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; "(exportAmountDuring REGION PRODUCT-TYPE THING AMOUNT) means that the ScalarInterval AMOUNT is a measure of the amount of instances of the ProductType PRODUCT-TYPE exported by the GeographicalRegion REGION during the temporal extent of the TemporalThing THING. THING will often be a calendar time period; but it may also be, for instance, a particular Event. In the case of automobile exports, for example, AMOUNT might be an Integer indicating the number of cars exported. In the case of oil exports, AMOUNT might be a Volume (a number of barrels) indicating the total quantity of oil exported, or it might be an instance of Money indicating the monetary value of all the oil exported. Alternatively, AMOUNT might be a Rate, characterizing the average rate of export of instances of PRODUCT-TYPE by REGION during the temporal extent of THING. Oil exports, for example, might be expressed in terms of so many million barrels per day or in terms of so many dollars per day (again, indicating the monetary value of the oil). The total value of a region's exports of all goods and services (over a given time period) can be expressed with this predicate using the constant Product as the second argument."