TreeView Knowledge Base Browser - FemaleLifeExpectancyAtBirthFn

appearance as argument number 1

(instance FemaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 427-427	Female life expectancy at birth is an instance of binary function
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea)	People.kif 428-428	The number 1 argument of female life expectancy at birth is an instance of geopolitical area
(domain FemaleLifeExpectancyAtBirthFn 2 Year)	People.kif 429-429	The number 2 argument of female life expectancy at birth is an instance of year
(range FemaleLifeExpectancyAtBirthFn RealNumber)	People.kif 430-430	The range of female life expectancy at birth is an instance of real number
(documentation FemaleLifeExpectancyAtBirthFn EnglishLanguage "(FealeLifeExpectancyAtBirthFn ?AREA ?YEAR) denotes the RealNumber that represents the average number of years to be lived by a group of female individuals born in the same year, if mortality at each age remains constant in the future.")	People.kif 431-434	The range of female life expectancy at birth is an instance of real number

appearance as argument number 2

(format EnglishLanguage FemaleLifeExpectancyAtBirthFn "the female life expectancy at birth of %1 and %2")	domainEnglishFormat.kif 997-997
(format ChineseTraditionalLanguage FemaleLifeExpectancyAtBirthFn "%1 和 %2 的 female 出生預期壽命")	domainEnglishFormat.kif 998-998
(format ChineseLanguage FemaleLifeExpectancyAtBirthFn "%1 和 %2 的 female 出生预期寿命")	domainEnglishFormat.kif 999-999
(termFormat EnglishLanguage FemaleLifeExpectancyAtBirthFn "female life expectancy at birth")	domainEnglishFormat.kif 23492-23492
(termFormat ChineseTraditionalLanguage FemaleLifeExpectancyAtBirthFn "女性出生時的預期壽命")	domainEnglishFormat.kif 23493-23493
(termFormat ChineseLanguage FemaleLifeExpectancyAtBirthFn "女性出生时的预期寿命")	domainEnglishFormat.kif 23494-23494

antecedent

(=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?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)
                                        (attribute ?INDIVIDUAL Female)
                                        (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 437-470

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