Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PopulationGrowthFn

Sigma KEE - PopulationGrowthFn
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 65-74
(domain PopulationGrowthFn 1 GeopoliticalArea) People.kif 62-62
(domain PopulationGrowthFn 2 Year) People.kif 63-63
(instance PopulationGrowthFn BinaryFunction) People.kif 61-61
(range PopulationGrowthFn RealNumber) People.kif 64-64

appearance as argument number 2
-------------------------


(format EnglishLanguage PopulationGrowthFn "the population growth of %1 and %2") domainEnglishFormat.kif 507-507
(termFormat EnglishLanguage PopulationGrowthFn "population growth") domainEnglishFormat.kif 8201-8201

antecedent
-------------------------


(<=>
    (equal
        (PopulationGrowthFn ?AREA
            (YearFn ?YEAR)) ?ADJUSTEDPERCENT)
    (and
        (equal
            (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1)
        (holdsDuring
            (YearFn ?YEAR)
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (holdsDuring
            (YearFn ?PREVIOUSYEAR)
            (equal
                (PopulationFn ?AREA) ?PREVIOUSPOPULATION))
        (equal
            (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
        (equal
            (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))
People.kif 77-86


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners