TreeView Knowledge Base Browser - MaleLifeExpectancyAtBirthFn

appearance as argument number 1

(instance MaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 379-379	Male life expectancy at birth is an instance of binary function
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea)	People.kif 380-380	The number 1 argument of male life expectancy at birth is an instance of geopolitical area
(domain MaleLifeExpectancyAtBirthFn 2 Year)	People.kif 381-381	The number 2 argument of male life expectancy at birth is an instance of year
(range MaleLifeExpectancyAtBirthFn RealNumber)	People.kif 382-382	The range of male life expectancy at birth is an instance of real number
(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 383-386	The range of male life expectancy at birth is an instance of real number

appearance as argument number 2

(format EnglishLanguage MaleLifeExpectancyAtBirthFn "the male life expectancy at birth of %1 and %2")	domainEnglishFormat.kif 1601-1601
(format ChineseTraditionalLanguage MaleLifeExpectancyAtBirthFn "%1 和 %2 的 male 出生估計壽命")	domainEnglishFormat.kif 1602-1602
(format ChineseLanguage MaleLifeExpectancyAtBirthFn "%1 和 %2 的 male 出生估计寿命")	domainEnglishFormat.kif 1603-1603
(termFormat EnglishLanguage MaleLifeExpectancyAtBirthFn "male life expectancy at birth")	domainEnglishFormat.kif 35837-35837
(termFormat ChineseTraditionalLanguage MaleLifeExpectancyAtBirthFn "男性出生時的預期壽命")	domainEnglishFormat.kif 35838-35838
(termFormat ChineseLanguage MaleLifeExpectancyAtBirthFn "男性出生时的预期寿命")	domainEnglishFormat.kif 35839-35839

antecedent

(=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?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)
                                        (attribute ?INDIVIDUAL Male)
                                        (during
                                            (WhenFn ?BIRTH) ?Y)
                                        (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 391-424

If X is an instance of the year Y and equal the male 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: