LifeExpectancyAtBirthFn - Sigma Knowledge base Browser

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 317-324
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea)	People.kif 314-314	The number 1 argument of life expectancy at birth is an instance of geopolitical area
(domain LifeExpectancyAtBirthFn 2 Year)	People.kif 315-315	The number 2 argument of life expectancy at birth is an instance of year
(instance LifeExpectancyAtBirthFn BinaryFunction)	People.kif 313-313	Life expectancy at birth is an instance of binary function
(range LifeExpectancyAtBirthFn RealNumber)	People.kif 316-316	The range of life expectancy at birth is an instance of real number

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 34320-34320
(termFormat ChineseTraditionalLanguage LifeExpectancyAtBirthFn "出生時的預期壽命")	domainEnglishFormat.kif 34319-34319
(termFormat EnglishLanguage LifeExpectancyAtBirthFn "life expectancy at birth")	domainEnglishFormat.kif 34318-34318

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 327-357

The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM

if the listITEM is a member of the list,
then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string

and the real number is an average of the list

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: