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	domain MaleLifeExpectancyAtBirthFn, 1 and GeopoliticalArea
(domain MaleLifeExpectancyAtBirthFn 2 Year)	People.kif 358-358	domain MaleLifeExpectancyAtBirthFn, 2 and Year
(instance MaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 356-356	instance MaleLifeExpectancyAtBirthFn and BinaryFunction
(range MaleLifeExpectancyAtBirthFn RealNumber)	People.kif 359-359	range MaleLifeExpectancyAtBirthFn and RealNumber

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 35731-35731
(termFormat ChineseTraditionalLanguage MaleLifeExpectancyAtBirthFn "男性出生時的預期壽命")	domainEnglishFormat.kif 35730-35730
(termFormat EnglishLanguage MaleLifeExpectancyAtBirthFn "male life expectancy at birth")	domainEnglishFormat.kif 35729-35729

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

equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM

inList ListITEM and List
instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Male during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration

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

KB Term:			Term intersection

English Word: