FemaleLifeExpectancyAtBirthFn - Sigma Knowledge base Browser

appearance as argument number 1

(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 397-400
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea)	People.kif 394-394	The number 1 argument of female life expectancy at birth is an instance of geopolitical area
(domain FemaleLifeExpectancyAtBirthFn 2 Year)	People.kif 395-395	The number 2 argument of female life expectancy at birth is an instance of year
(instance FemaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 393-393	Female life expectancy at birth is an instance of binary function
(range FemaleLifeExpectancyAtBirthFn RealNumber)	People.kif 396-396	The range of female life expectancy at birth is an instance of real number

appearance as argument number 2

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

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 403-436

A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM

if the listITEM is a member of the list,
then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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: