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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PopulationFn
PopulationFn

appearance as argument number 1
-------------------------


s__documentation(s__PopulationFn__m,s__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 dIvoire, 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
s__domain(s__PopulationFn__m,n__1,s__GeopoliticalArea)

People.kif 29-29 The number 1 argument of population is an instance of geopolitical area
s__instance(s__UnaryFunction,s__Class)

s__instance(s__PopulationFn__m,s__UnaryFunction)

People.kif 28-28 Population is an instance of unary function
s__range(s__PopulationFn__m,s__Integer)

People.kif 30-30 The range of population is an instance of integer

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


s__format(s__ChineseLanguage,s__PopulationFn__m,'"%1 的 population "')

domainEnglishFormat.kif 1983-1983
s__format(s__ChineseTraditionalLanguage,s__PopulationFn__m,'"%1 的 population "')

domainEnglishFormat.kif 1982-1982
s__format(s__EnglishLanguage,s__PopulationFn__m,'"the population of %1"')

domainEnglishFormat.kif 1981-1981
s__termFormat(s__ChineseLanguage,s__PopulationFn__m,'"人口"')

domainEnglishFormat.kif 46634-46634
s__termFormat(s__ChineseTraditionalLanguage,s__PopulationFn__m,'"人口"')

domainEnglishFormat.kif 46633-46633
s__termFormat(s__EnglishLanguage,s__PopulationFn__m,'"population"')

domainEnglishFormat.kif 46632-46632

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. 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 the geopolitical area and 1000 is equal to a number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. 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 the geopolitical area and 1000 is equal to a number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. 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 (the integer and a number) is equal to 1 and the population of the geopolitical area is equal to another number holds during the year the integer and the other number and 1000 is equal to a third number and another integer is equal to the number of instances in the class described by a symbolic string and a third integer is equal to the number of instances in the class described by the symbolic string and (the other integer and the third integer) is equal to a fourth number and the fourth number and the third number is equal to the real number
No TPTP formula. May not be expressible in strict first order. 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 (the integer and another integer) is equal to 1 and the population of the geopolitical area is equal to a number holds during the year the integer and the population of the geopolitical area is equal to another number holds during the year the other integer and the number and the other number is equal to a third number and (the third number and 1) is equal to the real number

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 49-54 The population of a geopolitical area is equal to the number of instances in the class described by a symbolic string


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