Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  LifeExpectancyAtBirthFn

Sigma KEE - LifeExpectancyAtBirthFn
LifeExpectancyAtBirthFn

appearance as argument number 1
-------------------------


(documentation LifeExpectancyAtBirthFn EnglishLanguage "(LifeExpectancyAtBirthFn ?AREA ?YEAR) denotes the RealNumber that represents the average number of years to be lived by a group of people born in the same year, if mortality at each age remains constant in the future. Life expectancy at birth is also a measure of overall quality of life in a country and summarizes the mortality at all ages. It can also be thought of as indicating the potential return on investment in human capital and is necessary for the calculation of various actuarial measures.") People.kif 313-320
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 310-310 LifeExpectancyAtBirthFn 的 1 数量 是 地缘政治区域instance
(domain LifeExpectancyAtBirthFn 2 Year) People.kif 311-311 LifeExpectancyAtBirthFn 的 2 数量 是 instance
(instance LifeExpectancyAtBirthFn BinaryFunction) People.kif 309-309 LifeExpectancyAtBirthFn二元函数instance
(range LifeExpectancyAtBirthFn RealNumber) People.kif 312-312 LifeExpectancyAtBirthFnrange实数 的实例

appearance as argument number 2
-------------------------


(format EnglishLanguage LifeExpectancyAtBirthFn "the life expectancy at birth of %1 and %2") domainEnglishFormat.kif 391-391
(termFormat EnglishLanguage LifeExpectancyAtBirthFn "life expectancy at birth") domainEnglishFormat.kif 6141-6141 termFormat EnglishLanguage, LifeExpectancyAtBirthFn and "life expectancy at birth"

antecedent
-------------------------


(<=>
    (equal
        (LifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                        (during
                                            (WhenFn ?BIRTH)
                                            (YearFn ?YEAR))
                                        (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 323-353 LifeExpectancyAtBirthFn 地缘政治区域 and 整数 year equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM average 那个 串列 and 那个 实数


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners