MaleLifeExpectancyAtBirthFn |
appearance as argument number 1 |
(documentation MaleLifeExpectancyAtBirthFn EnglishLanguage "(MaleLifeExpectancyAtBirthFn ?AREA ?YEAR) denotes the RealNumber that represents the average number of years to be lived by a group of male individuals born in the same year, if mortality at each age remains constant in the future.") | People.kif 349-352 | |
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) | People.kif 346-346 | 男性出生时的预期寿命 的 1 数量 是 地缘政治区域 的 instance |
(domain MaleLifeExpectancyAtBirthFn 2 Year) | People.kif 347-347 | 男性出生时的预期寿命 的 2 数量 是 年 的 instance |
(instance MaleLifeExpectancyAtBirthFn BinaryFunction) | People.kif 345-345 | 男性出生时的预期寿命 是 二元函数 的 instance |
(range MaleLifeExpectancyAtBirthFn RealNumber) | People.kif 348-348 | 男性出生时的预期寿命 的 range 是 实数 的实例 |
appearance as argument number 2 |
(format ChineseLanguage MaleLifeExpectancyAtBirthFn "%1 和 %2 的 male 出生估计寿命") | domainEnglishFormat.kif 1599-1599 | |
(format ChineseTraditionalLanguage MaleLifeExpectancyAtBirthFn "%1 和 %2 的 male 出生估計壽命") | domainEnglishFormat.kif 1598-1598 | |
(format EnglishLanguage MaleLifeExpectancyAtBirthFn "the male life expectancy at birth of %1 and %2") | domainEnglishFormat.kif 1597-1597 | |
(termFormat ChineseLanguage MaleLifeExpectancyAtBirthFn "男性出生时的预期寿命") | domainEnglishFormat.kif 35837-35837 | |
(termFormat ChineseTraditionalLanguage MaleLifeExpectancyAtBirthFn "男性出生時的預期壽命") | domainEnglishFormat.kif 35836-35836 | |
(termFormat EnglishLanguage MaleLifeExpectancyAtBirthFn "male life expectancy at birth") | domainEnglishFormat.kif 35835-35835 |
antecedent |
(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 357-390 | 年 是 那个 年EAR year 的 instance 和 地缘政治区域 和 那个 年 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列, 另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|