TreeView Knowledge Base Browser - DeathsPerThousandFn

appearance as argument number 1

(instance DeathsPerThousandFn BinaryFunction)	People.kif 118-118	Deaths per thousand is an instance of binary function
(domain DeathsPerThousandFn 1 GeopoliticalArea)	People.kif 119-119	The number 1 argument of deaths per thousand is an instance of geopolitical area
(domain DeathsPerThousandFn 2 Year)	People.kif 120-120	The number 2 argument of deaths per thousand is an instance of year
(range DeathsPerThousandFn RealNumber)	People.kif 121-121	The range of deaths per thousand is an instance of real number
(documentation DeathsPerThousandFn EnglishLanguage "(DeathsPerThousandFn ?AREA ?YEAR) denotes the RealNumber that represents the number of deaths per thousand individuals in the population of the GeopoliticalArea ?AREA for Year ?YEAR. This number gives the average annual number of deaths during a year per 1,000 population at midyear, also known as crude death rate. The death rate, while only a rough indicator of the mortality situation in a country, accurately indicates the current mortality impact on population growth. This indicator is significantly affected by age distribution, and most countries will eventually show a rise in the overall death rate, in spite of continued decline in mortality at all ages, as declining fertility results in an aging population.")	People.kif 122-132	The range of deaths per thousand is an instance of real number

appearance as argument number 2

(format EnglishLanguage DeathsPerThousandFn "the deaths per thousand of %1 and %2")	domainEnglishFormat.kif 686-686
(format ChineseTraditionalLanguage DeathsPerThousandFn "%1 和 %2 每一千裡的 deaths ")	domainEnglishFormat.kif 687-687
(format ChineseLanguage DeathsPerThousandFn "%1 和 %2 每一千里的 deaths")	domainEnglishFormat.kif 688-688
(termFormat EnglishLanguage DeathsPerThousandFn "deaths per thousand")	domainEnglishFormat.kif 18774-18774
(termFormat ChineseTraditionalLanguage DeathsPerThousandFn "每千人死亡")	domainEnglishFormat.kif 18775-18775
(termFormat ChineseLanguage DeathsPerThousandFn "每千人死亡")	domainEnglishFormat.kif 18776-18776

antecedent

(=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))

People.kif 135-150

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

consequent

(=>
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER))
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)))

People.kif 152-167

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

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

KB Term:			Term intersection

English Word: