TreeView Knowledge Base Browser - 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	PopulationGrowthFn の数値 1 引数は地政学的地域の instance では %n
(domain PopulationGrowthFn 2 Year)	People.kif 37-37	PopulationGrowthFn の数値 2 引数は年の instance では %n
(instance PopulationGrowthFn BinaryFunction)	People.kif 35-35	PopulationGrowthFn は 2変数関数の instance では %n
(range PopulationGrowthFn RealNumber)	People.kif 38-38	PopulationGrowthFn の range は実数のインスタンスでは %n

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 では %n PopulationGrowthFn 地政学的地域 and 年は実数と equal では %n ( 整数 + 整数P) は 1 と equal では %n 時間位置は整数P year 目の instance では %n PopulationFn 地政学的地域は実数と equal では %n は年の during holds %n{ない} PopulationFn 地政学的地域は実数と equal では %n は時間位置の during holds %n{ない} 実数 + 実数は実数と equal では %n ( 実数 + 1) は実数と equal では %n

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: