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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 domain LifeExpectancyAtBirthFn, 1 and GeopoliticalArea
(domain LifeExpectancyAtBirthFn 2 Year) People.kif 311-311 domain LifeExpectancyAtBirthFn, 2 and Year
(instance LifeExpectancyAtBirthFn BinaryFunction) People.kif 309-309 instance LifeExpectancyAtBirthFn and BinaryFunction
(range LifeExpectancyAtBirthFn RealNumber) People.kif 312-312 range LifeExpectancyAtBirthFn and RealNumber

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


(format ChineseLanguage LifeExpectancyAtBirthFn "%1 和 %2 的出生预期 life ") domainEnglishFormat.kif 1531-1531
(format ChineseTraditionalLanguage LifeExpectancyAtBirthFn "%1 和 %2 的出生預期 life ") domainEnglishFormat.kif 1530-1530
(format EnglishLanguage LifeExpectancyAtBirthFn "the life expectancy at birth of %1 and %2") domainEnglishFormat.kif 1529-1529
(termFormat ChineseLanguage LifeExpectancyAtBirthFn "出生时的预期寿命") domainEnglishFormat.kif 34249-34249 termFormat ChineseLanguage, LifeExpectancyAtBirthFn and "出生时的预期寿命"
(termFormat ChineseTraditionalLanguage LifeExpectancyAtBirthFn "出生時的預期壽命") domainEnglishFormat.kif 34248-34248 termFormat ChineseTraditionalLanguage, LifeExpectancyAtBirthFn and "出生時的預期壽命"
(termFormat EnglishLanguage LifeExpectancyAtBirthFn "life expectancy at birth") domainEnglishFormat.kif 34247-34247 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 equal LifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM average List and RealNumber


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



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