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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of population growth is an instance of geopolitical area
(domainSubclass PopulationGrowthFn 2 Year) People.kif 63-63 The number 2 argument of population growth is a subclass of year
(instance PopulationGrowthFn BinaryFunction) People.kif 61-61 Population growth is an instance of binary function
(range PopulationGrowthFn RealNumber) People.kif 64-64 The range of population growth is an instance of real number

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 46652-46652
(termFormat ChineseTraditionalLanguage PopulationGrowthFn "人口增長") domainEnglishFormat.kif 46651-46651
(termFormat EnglishLanguage PopulationGrowthFn "population growth") domainEnglishFormat.kif 46650-46650

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


(<=>
    (equal
        (PopulationGrowthFn ?AREA
            (YearFn ?YEAR)) ?ADJUSTEDPERCENT)
    (exists (?Y1 ?Y2)
        (and
            (equal
                (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1)
            (equal ?Y1
                (YearFn ?YEAR))
            (equal ?Y2
                (YearFn ?PREVIOUSYEAR))
            (holdsDuring ?Y1
                (equal
                    (PopulationFn ?AREA) ?POPULATION))
            (holdsDuring ?Y2
                (equal
                    (PopulationFn ?AREA) ?PREVIOUSPOPULATION))
            (equal
                (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
            (equal
                (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT))))
People.kif 78-90 The population growth of a geopolitical area and the year an integer is equal to a real number if and only if there exist a kind of year and another kind of year such that (the integer and another integer) is equal to 1 and a kind of year is equal to the year the integer and another kind of year is equal to the year the other integer and the population of the geopolitical area is equal to another real number holds during the kind of year and the population of the geopolitical area is equal to a third real number holds during the other kind of year and the other real number and the third real number is equal to a fourth real number and (the fourth real number and 1) is equal to the real number


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners