ChildrenBornPerWomanFn - Sigma Knowledge base Browser

appearance as argument number 1

s__instance(s__ChildrenBornPerWomanFn,s__BinaryFunction)	People.kif 474-474	Children born per woman is an instance of binary function
s__domain(s__ChildrenBornPerWomanFn,n__1,s__GeopoliticalArea)	People.kif 475-475	The number 1 argument of children born per woman is an instance of geopolitical area
s__domain(s__ChildrenBornPerWomanFn,n__2,s__Year)	People.kif 476-476	The number 2 argument of children born per woman is an instance of year
s__range(s__ChildrenBornPerWomanFn,s__RealNumber)	People.kif 477-477	The range of children born per woman is an instance of real number
s__documentation(s__ChildrenBornPerWomanFn, s__EnglishLanguage, "This entry gives a figure for the average number of children that would be born per woman if all women lived to the end of their childbearing years and bore children according to a given fertility rate at each age_ The total fertility rate is a more direct measure of the level of fertility than the crude birth rate, since it refers to births per woman_ This indicator shows the potential for population growth in the country_ High rates will also place some limits on the labor force participation rates for women_ Large numbers of children born to women indicate large family sizes that might limit the ability of the families to feed and educate their children_")	People.kif 478-487	The range of children born per woman is an instance of real number

appearance as argument number 2

s__format(s__EnglishLanguage, s__ChildrenBornPerWomanFn, "the children born per woman of %1 and %2")	domainEnglishFormat.kif 446-446
s__format(s__ChineseTraditionalLanguage, s__ChildrenBornPerWomanFn, "%1 和 %2 每個女人生的 children ")	domainEnglishFormat.kif 447-447
s__format(s__ChineseLanguage, s__ChildrenBornPerWomanFn, "%1 和 %2 每个女人生的 children ")	domainEnglishFormat.kif 448-448
s__termFormat(s__EnglishLanguage, s__ChildrenBornPerWomanFn, "children born per woman")	domainEnglishFormat.kif 14484-14484
s__termFormat(s__ChineseTraditionalLanguage, s__ChildrenBornPerWomanFn, "每個女人出生的孩子")	domainEnglishFormat.kif 14485-14485
s__termFormat(s__ChineseLanguage, s__ChildrenBornPerWomanFn, "每个女人出生的孩子")	domainEnglishFormat.kif 14486-14486

statement

! [V__AREA : $i,V__BIRTH : $i,V__INFANT : $i,V__WOMAN : $i,V__Y : $int,V__YEAR : $i] : ((s__instance(V__YEAR, s__YearFn(V__Y)) & s__ChildrenBornPerWomanFn(V__AREA, V__YEAR) = s__CardinalityFn(s__KappaFn(V__INFANT, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__agent(V__BIRTH, V__WOMAN) & s__instance(V__WOMAN, s__Human) & s__attribute(V__WOMAN, s__Female) & s__holdsDuring(V__YEAR, s__inhabits(V__WOMAN, V__AREA)))))))

X is an instance of the year Y and equal the children born per woman of Z, X, and the number of instances in the class described by W