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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 364-367
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 361-361 男性出生时的预期寿命 的 1 数量 是 地缘政治区域instance
(domain MaleLifeExpectancyAtBirthFn 2 Year) People.kif 362-362 男性出生时的预期寿命 的 2 数量 是 instance
(instance MaleLifeExpectancyAtBirthFn BinaryFunction) People.kif 360-360 男性出生时的预期寿命二元函数instance
(range MaleLifeExpectancyAtBirthFn RealNumber) People.kif 363-363 男性出生时的预期寿命range实数 的实例

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


(format ChineseLanguage MaleLifeExpectancyAtBirthFn "%1 和 %2 的 male 出生估计寿命") domainEnglishFormat.kif 1599-1599
(format ChineseTraditionalLanguage MaleLifeExpectancyAtBirthFn "%1 和 %2 的 male 出生估計壽命") domainEnglishFormat.kif 1598-1598
(format EnglishLanguage MaleLifeExpectancyAtBirthFn "the male life expectancy at birth of %1 and %2") domainEnglishFormat.kif 1597-1597
(termFormat ChineseLanguage MaleLifeExpectancyAtBirthFn "男性出生时的预期寿命") domainEnglishFormat.kif 35820-35820
(termFormat ChineseTraditionalLanguage MaleLifeExpectancyAtBirthFn "男性出生時的預期壽命") domainEnglishFormat.kif 35819-35819
(termFormat EnglishLanguage MaleLifeExpectancyAtBirthFn "male life expectancy at birth") domainEnglishFormat.kif 35818-35818

antecedent
-------------------------


(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?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) ?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 372-405 那个 年EAR yearinstance 地缘政治区域那个 年male 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average


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