DeathsPerThousandFn |
appearance as argument number 1 |
(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 105-115 | |
(domain DeathsPerThousandFn 1 GeopoliticalArea) | People.kif 102-102 | 每千人死亡 的 1 数量 是 地缘政治区域 的 instance |
(domain DeathsPerThousandFn 2 Year) | People.kif 103-103 | 每千人死亡 的 2 数量 是 年 的 instance |
(instance DeathsPerThousandFn BinaryFunction) | People.kif 101-101 | 每千人死亡 是 二元函数 的 instance |
(range DeathsPerThousandFn RealNumber) | People.kif 104-104 | 每千人死亡 的 range 是 实数 的实例 |
appearance as argument number 2 |
(format ChineseLanguage DeathsPerThousandFn "%1 和 %2 每一千里的 deaths") | domainEnglishFormat.kif 688-688 | |
(format ChineseTraditionalLanguage DeathsPerThousandFn "%1 和 %2 每一千裡的 deaths ") | domainEnglishFormat.kif 687-687 | |
(format EnglishLanguage DeathsPerThousandFn "the deaths per thousand of %1 and %2") | domainEnglishFormat.kif 686-686 | |
(termFormat ChineseLanguage DeathsPerThousandFn "每千人死亡") | domainEnglishFormat.kif 18774-18774 | |
(termFormat ChineseTraditionalLanguage DeathsPerThousandFn "每千人死亡") | domainEnglishFormat.kif 18773-18773 | |
(termFormat EnglishLanguage DeathsPerThousandFn "deaths per thousand") | domainEnglishFormat.kif 18772-18772 |
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 118-133 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千里的 deaths equal 实数 若且唯若 那个 地缘政治区域 的 population 和 1000 equal 另一个 实数 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 那个 另外 实数 equal 那个 实数 |