TreeView Knowledge Base Browser - PopulationGrowthFn

appearance as argument number 1

(instance PopulationGrowthFn BinaryFunction)	People.kif 35-35	Population growth is an instance of binary function
(domain PopulationGrowthFn 1 GeopoliticalArea)	People.kif 36-36	The number 1 argument of population growth is an instance of geopolitical area
(domain PopulationGrowthFn 2 Year)	People.kif 37-37	The number 2 argument of population growth is an instance of year
(range PopulationGrowthFn RealNumber)	People.kif 38-38	The range of population growth is an instance of real number
(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	The range of population growth is an instance of real number

appearance as argument number 2

(format EnglishLanguage PopulationGrowthFn "the population growth of %1 and %2")	domainEnglishFormat.kif 1997-1997
(format ChineseTraditionalLanguage PopulationGrowthFn "%1 和 %2 的 population 成長")	domainEnglishFormat.kif 1998-1998
(format ChineseLanguage PopulationGrowthFn "%1 和 %2 的 population 成长")	domainEnglishFormat.kif 1999-1999
(termFormat EnglishLanguage PopulationGrowthFn "population growth")	domainEnglishFormat.kif 46662-46662
(termFormat ChineseTraditionalLanguage PopulationGrowthFn "人口增長")	domainEnglishFormat.kif 46663-46663
(termFormat ChineseLanguage PopulationGrowthFn "人口增长")	domainEnglishFormat.kif 46664-46664

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

X is an instance of the year Y and equal the population growth of Z and X and W if and only if equal (Y and V) and 1 and U is an instance of the year V and equal the population of Z and T holds during X and equal the population of Z and S holds during U and equal T and S and R and equal (R and 1) and W

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

KB Term:			Term intersection

English Word: