MaleLifeExpectancyAtBirthFn - Sigma Knowledge base Browser

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 360-363
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea)	People.kif 357-357	The number 1 argument of male life expectancy at birth is an instance of geopolitical area
(domain MaleLifeExpectancyAtBirthFn 2 Year)	People.kif 358-358	The number 2 argument of male life expectancy at birth is an instance of year
(instance MaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 356-356	Male life expectancy at birth is an instance of binary function
(range MaleLifeExpectancyAtBirthFn RealNumber)	People.kif 359-359	The range of male life expectancy at birth is an instance of real number

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 35749-35749	"男性出生时的预期寿命" is the printable form of male life expectancy at birth in ChineseLanguage
(termFormat ChineseTraditionalLanguage MaleLifeExpectancyAtBirthFn "男性出生時的預期壽命")	domainEnglishFormat.kif 35748-35748	"男性出生時的預期壽命" is the printable form of male life expectancy at birth in ChineseTraditionalLanguage
(termFormat EnglishLanguage MaleLifeExpectancyAtBirthFn "male life expectancy at birth")	domainEnglishFormat.kif 35747-35747	"male life expectancy at birth" is the printable form of male life expectancy at birth in english language

antecedent

(<=>
    (equal
        (MaleLifeExpectancyAtBirthFn ?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)
                                        (attribute ?INDIVIDUAL Male)
                                        (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 367-398

The male 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: