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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BirthsPerThousandFn
BirthsPerThousandFn

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


s__documentation(s__BirthsPerThousandFn__m,s__EnglishLanguage,'"(BirthsPerThousandFn ?AREA ?YEAR) denotes the RealNumber that represents the number of births per thousand individuals in the population of the GeopoliticalArea ?AREA for Year ?YEAR. This number gives the average annual number of births during a year per 1,000 persons in the population at midyear, also known as crude birth rate. The birth rate is usually the dominant factor in determining the rate of population growth. It depends on both the level of fertility and the age structure of the population."')

People.kif 94-101
s__domain(s__BirthsPerThousandFn__m,n__1,s__GeopoliticalArea)

People.kif 91-91 The number 1 argument of births per thousand is an instance of geopolitical area
s__domain(s__BirthsPerThousandFn__m,n__2,s__Year)

People.kif 92-92 The number 2 argument of births per thousand is an instance of year
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__BirthsPerThousandFn__m,s__BinaryFunction)

People.kif 90-90 Births per thousand is an instance of binary function
s__range(s__BirthsPerThousandFn__m,s__RealNumber)

People.kif 93-93 The range of births per thousand is an instance of real number

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


s__format(s__ChineseLanguage,s__BirthsPerThousandFn__m,'"%1 和 %2 每一千的 births "')

domainEnglishFormat.kif 316-316
s__format(s__ChineseTraditionalLanguage,s__BirthsPerThousandFn__m,'"%1 和 %2 每一千的 births "')

domainEnglishFormat.kif 315-315
s__format(s__EnglishLanguage,s__BirthsPerThousandFn__m,'"the births per thousand of %1 and %2"')

domainEnglishFormat.kif 314-314
s__termFormat(s__ChineseLanguage,s__BirthsPerThousandFn__m,'"每千人分娩"')

domainEnglishFormat.kif 11192-11192
s__termFormat(s__ChineseTraditionalLanguage,s__BirthsPerThousandFn__m,'"每千人分娩"')

domainEnglishFormat.kif 11191-11191
s__termFormat(s__EnglishLanguage,s__BirthsPerThousandFn__m,'"births per thousand"')

domainEnglishFormat.kif 11190-11190

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


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


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