DeathsPerThousandLiveBirthsFn |
appearance as argument number 1 |
(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 231-235 | |
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea) | People.kif 228-228 | 每千名活产婴儿死亡人数 的 1 数量 是 地缘政治区域 的 instance |
(domain DeathsPerThousandLiveBirthsFn 2 Year) | People.kif 229-229 | 每千名活产婴儿死亡人数 的 2 数量 是 年 的 instance |
(instance DeathsPerThousandLiveBirthsFn BinaryFunction) | People.kif 227-227 | 每千名活产婴儿死亡人数 是 二元函数 的 instance |
(range DeathsPerThousandLiveBirthsFn RealNumber) | People.kif 230-230 | 每千名活产婴儿死亡人数 的 range 是 实数 的实例 |
appearance as argument number 2 |
(format ChineseLanguage DeathsPerThousandLiveBirthsFn "%1 和 %2 每一千个生存出生里的 deaths ") | domainEnglishFormat.kif 692-692 | |
(format ChineseTraditionalLanguage DeathsPerThousandLiveBirthsFn "%1 和 %2 每一千個生存出生裡的 deaths ") | domainEnglishFormat.kif 691-691 | |
(format EnglishLanguage DeathsPerThousandLiveBirthsFn "the deaths per thousand live births of %1 and %2") | domainEnglishFormat.kif 690-690 | |
(termFormat ChineseLanguage DeathsPerThousandLiveBirthsFn "每千名活产婴儿死亡人数") | domainEnglishFormat.kif 18780-18780 | |
(termFormat ChineseTraditionalLanguage DeathsPerThousandLiveBirthsFn "每千名活產嬰兒死亡人數") | domainEnglishFormat.kif 18779-18779 | |
(termFormat EnglishLanguage DeathsPerThousandLiveBirthsFn "deaths per thousand live births") | domainEnglishFormat.kif 18778-18778 |
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 238-264 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 另一个 实数 和 第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数 和 那个 另外 实数 equal 那个 实数 |