TreeView Knowledge Base Browser - LifeExpectancyAtBirthFn

appearance as argument number 1

(instance LifeExpectancyAtBirthFn BinaryFunction)	People.kif 330-330	Life expectancy at birth is an instance of binary function
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea)	People.kif 331-331	The number 1 argument of life expectancy at birth is an instance of geopolitical area
(domain LifeExpectancyAtBirthFn 2 Year)	People.kif 332-332	The number 2 argument of life expectancy at birth is an instance of year
(range LifeExpectancyAtBirthFn RealNumber)	People.kif 333-333	The range of life expectancy at birth is an instance of real number
(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 334-341	The range of life expectancy at birth is an instance of real number

appearance as argument number 2

(format EnglishLanguage LifeExpectancyAtBirthFn "the life expectancy at birth of %1 and %2")	domainEnglishFormat.kif 1529-1529
(format ChineseTraditionalLanguage LifeExpectancyAtBirthFn "%1 和 %2 的出生預期 life ")	domainEnglishFormat.kif 1530-1530
(format ChineseLanguage LifeExpectancyAtBirthFn "%1 和 %2 的出生预期 life ")	domainEnglishFormat.kif 1531-1531
(termFormat EnglishLanguage LifeExpectancyAtBirthFn "life expectancy at birth")	domainEnglishFormat.kif 34339-34339
(termFormat ChineseTraditionalLanguage LifeExpectancyAtBirthFn "出生時的預期壽命")	domainEnglishFormat.kif 34340-34340
(termFormat ChineseLanguage LifeExpectancyAtBirthFn "出生时的预期寿命")	domainEnglishFormat.kif 34341-34341

antecedent

(=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?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)
                                        (during
                                            (WhenFn ?BIRTH) ?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 344-376

If X is an instance of the year Y and equal the life expectancy at birth of Z, X, and W, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of list (3) length of V is an instance of U (4) P P is a member of V P is an instance of T (5) there doesn't exist O such that O is an instance of T (6) O is not a member of V (7) equal U (8) the number of instances in the class described by T (9) W is an average of V

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

KB Term:			Term intersection

English Word: