MaleLifeExpectancyAtBirthFn |
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 |
![]() |
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
|
![]() |
![]() |