Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaleLifeExpectancyAtBirthFn

Sigma KEE - MaleLifeExpectancyAtBirthFn
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 MaleLifeExpectancyAtBirthFn 的 1 数量 是 地缘政治区域instance
(domain MaleLifeExpectancyAtBirthFn 2 Year) People.kif 358-358 MaleLifeExpectancyAtBirthFn 的 2 数量 是 instance
(instance MaleLifeExpectancyAtBirthFn BinaryFunction) People.kif 356-356 MaleLifeExpectancyAtBirthFn二元函数instance
(range MaleLifeExpectancyAtBirthFn RealNumber) People.kif 359-359 MaleLifeExpectancyAtBirthFnrange实数 的实例

appearance as argument number 2
-------------------------


(format EnglishLanguage MaleLifeExpectancyAtBirthFn "the male life expectancy at birth of %1 and %2") domainEnglishFormat.kif 408-408
(termFormat EnglishLanguage MaleLifeExpectancyAtBirthFn "male life expectancy at birth") domainEnglishFormat.kif 6391-6391 termFormat EnglishLanguage, MaleLifeExpectancyAtBirthFn and "male life expectancy at birth"

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 MaleLifeExpectancyAtBirthFn 地缘政治区域 and 整数 year equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM average 那个 串列 and 那个 实数


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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