  PopulationFn
|
|
Sigma KEE - PopulationFn
|
appearance as argument number 1
|
|
|
| (instance PopulationFn UnaryFunction) |
Mid-level-ontology.kif 34122-34122 |
Population is an instance of unary function |
| (domain PopulationFn 1 GeopoliticalArea) |
Mid-level-ontology.kif 34123-34123 |
The number 1 argument of population is an instance of geopolitical area |
| (range PopulationFn Integer) |
Mid-level-ontology.kif 34124-34124 |
The range of population is an instance of integer |
| (documentation PopulationFn EnglishLanguage "(PopulationFn ?AREA) denotes the Integer that represents the count of the number of people inhabiting the GeopoliticalArea ?AREA. This number gives an estimate from the US Bureau of the Census based on statistics from population censuses, vital statistics registration systems, or sample surveys pertaining to the recent past and on assumptions about future trends. The total population presents one overall measure of the potential impact of the country on the world and within its region. Note: Starting with the 1993 Factbook, demographic estimates for some countries (mostly African) have explicitly taken into account the effects of the growing impact of the HIV/ AIDS epidemic. These countries are currently: The Bahamas, Benin, Botswana, Brazil, Burkina Faso, Burma, Burundi, Cambodia, Cameroon, Central African Republic, Democratic Republic of the Congo, Republic of the Congo, Cote d'Ivoire, Ethiopia, Gabon, Ghana, Guyana, Haiti, Honduras, Kenya, Lesotho, Malawi, Mozambique, Namibia, Nigeria, Rwanda, South Africa, Swaziland, Tanzania, Thailand, Togo, Uganda, Zambia, and Zimbabwe.") |
Mid-level-ontology.kif 34125-34140 |
The range of population is an instance of integer |
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(and
(equal
(DivisionFn
(PopulationFn ?AREA) 1000) ?THOUSANDS)
(equal ?BIRTHCOUNT
(CardinalityFn
(KappaFn ?BIRTH
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?INFANT)
(instance ?INFANT Human)
(during
(WhenFn ?BIRTH) ?YEAR)
(equal
(WhereFn ?BIRTH
(WhenFn ?BIRTH)) ?AREA)))))
(equal
(DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER))
(and
(instance ?YEAR
(YearFn ?Y))
(equal
(BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))) |
People.kif 99-114 |
If equal the population of X, 1000, and Y, equal Z and the number of instances in the class described by W, and equal Z, Y, and V, then U is an instance of the year T and equal the births per thousand of X, U, and V |
(=>
(and
(equal
(DivisionFn
(PopulationFn ?AREA) 1000) ?THOUSANDS)
(equal ?DEATHCOUNT
(CardinalityFn
(KappaFn ?DEATH
(and
(instance ?DEATH Death)
(experiencer ?DEATH ?PERSON)
(instance ?PERSON Human)
(during
(WhenFn ?DEATH) ?YEAR)
(equal
(WhereFn ?DEATH
(WhenFn ?DEATH)) ?AREA)))))
(equal
(DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER))
(and
(instance ?YEAR
(YearFn ?Y))
(equal
(DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))) |
People.kif 152-167 |
If equal the population of X, 1000, and Y, equal Z and the number of instances in the class described by W, and equal Z, Y, and V, then U is an instance of the year T and equal the deaths per thousand of X, U, and V |
|
consequent
|
|
|
(=>
(attribute ?A UrbanArea)
(exists (?N)
(and
(equal ?N
(PopulationFn ?A))
(greaterThan ?N 50000)))) |
Mid-level-ontology.kif 29220-29226 |
If urban is an attribute of X, then there exists Y such that equal Y, the population of X, and Y is greater than 50000 |
(<=>
(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 |
(=>
(and
(instance ?YEAR
(YearFn ?Y))
(equal
(BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
(and
(equal
(DivisionFn
(PopulationFn ?AREA) 1000) ?THOUSANDS)
(equal ?BIRTHCOUNT
(CardinalityFn
(KappaFn ?BIRTH
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?INFANT)
(instance ?INFANT Human)
(during
(WhenFn ?BIRTH) ?YEAR)
(equal
(WhereFn ?BIRTH
(WhenFn ?BIRTH)) ?AREA)))))
(equal
(DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 82-97 |
If X is an instance of the year Y and equal the births per thousand of Z, X, and W, then equal the population of Z, 1000, and V, equal U and the number of instances in the class described by T, and equal U, V, and W |
(=>
(and
(instance ?YEAR
(YearFn ?Y))
(equal
(DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
(and
(equal
(DivisionFn
(PopulationFn ?AREA) 1000) ?THOUSANDS)
(equal ?DEATHCOUNT
(CardinalityFn
(KappaFn ?DEATH
(and
(instance ?DEATH Death)
(experiencer ?DEATH ?PERSON)
(instance ?PERSON Human)
(during
(WhenFn ?DEATH) ?YEAR)
(equal
(WhereFn ?DEATH
(WhenFn ?DEATH)) ?AREA)))))
(equal
(DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 135-150 |
If X is an instance of the year Y and equal the deaths per thousand of Z, X, and W, then equal the population of Z, 1000, and V, equal U and the number of instances in the class described by T, and equal U, V, and W |
(=>
(and
(instance ?YEAR
(YearFn ?Y))
(equal
(MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
(and
(equal
(SubtractionFn ?Y ?PY) 1)
(instance ?PREVIOUSYEAR
(YearFn ?PY))
(holdsDuring ?YEAR
(equal
(PopulationFn ?AREA) ?POPULATION))
(equal
(DivisionFn ?POPULATION 1000) ?THOUSANDS)
(equal ?IMMIGRATION
(CardinalityFn
(KappaFn ?PERSON
(and
(instance ?PERSON Human)
(holdsDuring ?PREVIOUSYEAR
(not
(inhabits ?PERSON ?AREA)))
(holdsDuring ?YEAR
(inhabits ?PERSON ?AREA))))))
(equal ?EMMIGRATION
(CardinalityFn
(KappaFn ?PERSON
(and
(instance ?PERSON Human)
(holdsDuring ?PREVIOUSYEAR
(inhabits ?PERSON ?AREA))
(holdsDuring ?YEAR
(not
(inhabits ?PERSON ?AREA)))))))
(equal
(SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
(equal
(DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 190-221 |
If X is an instance of the year Y and equal the migrants per thousand of Z, X, and W, then All of the following hold: (1) equal (Y and V) and 1 (2) U is an instance of the year V (3) equal the population of Z and T holds during X (4) equal T, 1000, and S (5) equal R and the number of instances in the class described by Q (6) equal P and the number of instances in the class described by Q (7) equal (R and P) and O (8) equal O, S, and W |
|
