| appearance as argument number 1 |
|
| (documentation PopulationFn EnglishLanguage "(population ?AREA) denotes the integer that represents the count of the number of people inhabiting the geopolitical area ?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.") | People.kif 31-46 | |
| (domain PopulationFn 1 GeopoliticalArea) | People.kif 29-29 | The number 1 argument of population is an instance of geopolitical area |
| (instance PopulationFn UnaryFunction) | People.kif 28-28 | Population is an instance of unary function |
| (range PopulationFn Integer) | People.kif 30-30 | The range of population is an instance of integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage PopulationFn "the population of %1") | domainEnglishFormat.kif 507-507 | |
| (termFormat EnglishLanguage PopulationFn "population") | domainEnglishFormat.kif 7558-7558 | term format english language, population and "population" |
| consequent |
|
|
| (<=> (equal (BirthsPerThousandFn ?AREA (YearFn ?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) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 104-117 | The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by ?BIRTH and number and quantity is equal to real number |
| (<=> (equal (DeathsPerThousandFn ?AREA (YearFn ?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) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 138-151 | The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by ?DEATH and number and quantity is equal to real number |
| (<=> (equal (MigrantsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1) (holdsDuring (YearFn ?YEAR) (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (not (inhabits ?PERSON ?AREA))) (holdsDuring (YearFn ?YEAR) (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (inhabits ?PERSON ?AREA)) (holdsDuring (YearFn ?YEAR) (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 174-202 | The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if ( integer and integer) is equal to 1 and the population of geopolitical area is equal to a integer holds during the year integer and integer and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by ?PERSON and number is equal to the number of instances in the class described by ?PERSON and ( number and number) is equal to quantity and quantity and quantity is equal to real number |
| (<=> (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 | The population growth of a geopolitical area and the year an integer is equal to a real number if and only if ( integer and integer) is equal to 1 and the population of geopolitical area is equal to a integer holds during the year integer and the population of geopolitical area is equal to a integer holds during the year integer and integer and integer is equal to a quantity and ( quantity and 1) is equal to real number |
| statement |
|
|
| (equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA))))) |
People.kif 49-54 | The population of a geopolitical area is equal to the number of instances in the class described by ?PERSON |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners