TreeView Knowledge Base Browser - DeathsPerThousandLiveBirthsFn

appearance as argument number 1

(instance DeathsPerThousandLiveBirthsFn BinaryFunction)	People.kif 261-261	Deaths per thousand live births is an instance of binary function
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea)	People.kif 262-262	The number 1 argument of deaths per thousand live births is an instance of geopolitical area
(domain DeathsPerThousandLiveBirthsFn 2 Year)	People.kif 263-263	The number 2 argument of deaths per thousand live births is an instance of year
(range DeathsPerThousandLiveBirthsFn RealNumber)	People.kif 264-264	The range of deaths per thousand live births is an instance of real number
(documentation DeathsPerThousandLiveBirthsFn EnglishLanguage "(DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) denotes the RealNumber that represents the number of deaths of infants under one year old in a given year per 1,000 live births in the same year. This rate is often used as an indicator of the level of health in a country.")	People.kif 265-269	The range of deaths per thousand live births is an instance of real number

appearance as argument number 2

(format EnglishLanguage DeathsPerThousandLiveBirthsFn "the deaths per thousand live births of %1 and %2")	domainEnglishFormat.kif 690-690
(format ChineseTraditionalLanguage DeathsPerThousandLiveBirthsFn "%1 和 %2 每一千個生存出生裡的 deaths ")	domainEnglishFormat.kif 691-691
(format ChineseLanguage DeathsPerThousandLiveBirthsFn "%1 和 %2 每一千个生存出生里的 deaths ")	domainEnglishFormat.kif 692-692
(termFormat EnglishLanguage DeathsPerThousandLiveBirthsFn "deaths per thousand live births")	domainEnglishFormat.kif 18780-18780
(termFormat ChineseTraditionalLanguage DeathsPerThousandLiveBirthsFn "每千名活產嬰兒死亡人數")	domainEnglishFormat.kif 18781-18781
(termFormat ChineseLanguage DeathsPerThousandLiveBirthsFn "每千名活产婴儿死亡人数")	domainEnglishFormat.kif 18782-18782

antecedent

(=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))

People.kif 272-298

If X is an instance of the year Y and equal the deaths per thousand live births of Z, X, and W, then equal V and the number of instances in the class described by U, equal V, 1000, and T, equal S and the number of instances in the class described by R, and equal S, T, and W

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

KB Term:			Term intersection

English Word: