PopulationFn |
appearance as argument number 1 |
(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 31694-31709 | |
(domain PopulationFn 1 GeopoliticalArea) | Mid-level-ontology.kif 31692-31692 | Le nombre 1 argument de PopulationFn est une instance de secteur g�opolitique |
(instance PopulationFn UnaryFunction) | Mid-level-ontology.kif 31691-31691 | PopulationFn est une instance de function unaire |
(range PopulationFn Integer) | Mid-level-ontology.kif 31693-31693 | Le domaine de PopulationFn est une instance de nombre entier |
appearance as argument number 2 |
(format ChineseLanguage PopulationFn "%1 的 population ") | domainEnglishFormat.kif 1983-1983 | |
(format ChineseTraditionalLanguage PopulationFn "%1 的 population ") | domainEnglishFormat.kif 1982-1982 | |
(format EnglishLanguage PopulationFn "the population of %1") | domainEnglishFormat.kif 1981-1981 | |
(termFormat ChineseLanguage PopulationFn "人口") | domainEnglishFormat.kif 46651-46651 | |
(termFormat ChineseTraditionalLanguage PopulationFn "人口") | domainEnglishFormat.kif 46650-46650 | |
(termFormat EnglishLanguage PopulationFn "population") | domainEnglishFormat.kif 46649-46649 |
consequent |
statement |
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA))))) |
Mid-level-ontology.kif 31712-31717 | PopulationFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |