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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChildrenBornPerWomanFn

Sigma KEE - ChildrenBornPerWomanFn
ChildrenBornPerWomanFn

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


(documentation ChildrenBornPerWomanFn 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 444-453
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea) People.kif 441-441 The number 1 argument of children born per woman is an instance of geopolitical area
(domain ChildrenBornPerWomanFn 2 Year) People.kif 442-442 The number 2 argument of children born per woman is an instance of year
(instance ChildrenBornPerWomanFn BinaryFunction) People.kif 440-440 Children born per woman is an instance of binary function
(range ChildrenBornPerWomanFn RealNumber) People.kif 443-443 The range of children born per woman is an instance of real number

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


(format ChineseLanguage ChildrenBornPerWomanFn "%1 和 %2 每个女人生的 children ") domainEnglishFormat.kif 448-448
(format ChineseTraditionalLanguage ChildrenBornPerWomanFn "%1 和 %2 每個女人生的 children ") domainEnglishFormat.kif 447-447
(format EnglishLanguage ChildrenBornPerWomanFn "the children born per woman of %1 and %2") domainEnglishFormat.kif 446-446
(termFormat ChineseLanguage ChildrenBornPerWomanFn "每个女人出生的孩子") domainEnglishFormat.kif 14484-14484
(termFormat ChineseTraditionalLanguage ChildrenBornPerWomanFn "每個女人出生的孩子") domainEnglishFormat.kif 14483-14483
(termFormat EnglishLanguage ChildrenBornPerWomanFn "children born per woman") domainEnglishFormat.kif 14482-14482

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


(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?AREA)))))))
People.kif 456-469 A year is an instance of the year an integer and the children born per woman of a geopolitical area and the year is equal to the number of instances in the class described by a symbolic string


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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