PopulationGrowthFn |
appearance as argument number 1 |
(documentation PopulationGrowthFn EnglishLanguage "(PopulationFn ?AREA ?YEAR) denotes the RealNumber that represents the average annual percent change in the population of the GeopoliticalArea ?AREA for Year ?YEAR. This average annual percent population change results from a surplus (or deficit) of births over deaths and the balance of migrants entering and leaving a country. The rate may be positive or negative. The growth rate is a factor in determining how great a burden would be imposed on a country by the changing needs of its people for infrastructure (e.g., schools, hospitals, housing, roads), resources (e.g., food, water, electricity), and jobs. Rapid population growth can be seen as threatening by neighboring countries.") | People.kif 39-48 | |
(domain PopulationGrowthFn 1 GeopoliticalArea) | People.kif 36-36 | 人口增长 的 1 数量 是 地缘政治区域 的 instance |
(domain PopulationGrowthFn 2 Year) | People.kif 37-37 | 人口增长 的 2 数量 是 年 的 instance |
(instance PopulationGrowthFn BinaryFunction) | People.kif 35-35 | 人口增长 是 二元函数 的 instance |
(range PopulationGrowthFn RealNumber) | People.kif 38-38 | 人口增长 的 range 是 实数 的实例 |
appearance as argument number 2 |
(format ChineseLanguage PopulationGrowthFn "%1 和 %2 的 population 成长") | domainEnglishFormat.kif 1995-1995 | |
(format ChineseTraditionalLanguage PopulationGrowthFn "%1 和 %2 的 population 成長") | domainEnglishFormat.kif 1994-1994 | |
(format EnglishLanguage PopulationGrowthFn "the population growth of %1 and %2") | domainEnglishFormat.kif 1993-1993 | |
(termFormat ChineseLanguage PopulationGrowthFn "人口增长") | domainEnglishFormat.kif 46669-46669 | |
(termFormat ChineseTraditionalLanguage PopulationGrowthFn "人口增長") | domainEnglishFormat.kif 46668-46668 | |
(termFormat EnglishLanguage PopulationGrowthFn "population growth") | domainEnglishFormat.kif 46667-46667 |
antecedent |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT)) (and (equal (SubtractionFn ?Y ?YP) 1) (instance ?PREVIOUSYEAR (YearFn ?YP)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (holdsDuring ?PREVIOUSYEAR (equal (PopulationFn ?AREA) ?PREVIOUSPOPULATION)) (equal (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT) (equal (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT))) |
People.kif 52-64 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的 population 成长 equal 实数 若且唯若 (那个 整数 和 那个 整数P) equal 1 和 时间位置 是 那个 整数P year 的 instance 和 那个 地缘政治区域 的 population equal 另一个 实数 在 那个 年 holdsDuring 和 那个 地缘政治区域 的 population equal 第三 实数 在 那个 时间位置 holdsDuring 和 那个 另外 实数 和 那个 第三 实数 equal 第四 实数 和 (那个 第四 实数 和 1) equal 那个 实数 |