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 349-352
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) People.kif 346-346 MaleLifeExpectancyAtBirthFn の数値 1 引数は 地政学的地域instance では
(domain MaleLifeExpectancyAtBirthFn 2 Year) People.kif 347-347 MaleLifeExpectancyAtBirthFn の数値 2 引数は instance では
(instance MaleLifeExpectancyAtBirthFn BinaryFunction) People.kif 345-345 MaleLifeExpectancyAtBirthFn2変数関数instance では
(range MaleLifeExpectancyAtBirthFn RealNumber) People.kif 348-348 MaleLifeExpectancyAtBirthFnrange実数 のインスタンス では

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


(format ChineseLanguage MaleLifeExpectancyAtBirthFn "%1 和 %2 的 male 出生估计寿命") domainEnglishFormat.kif 1603-1603
(format ChineseTraditionalLanguage MaleLifeExpectancyAtBirthFn "%1 和 %2 的 male 出生估計壽命") domainEnglishFormat.kif 1602-1602
(format EnglishLanguage MaleLifeExpectancyAtBirthFn "the male life expectancy at birth of %1 and %2") domainEnglishFormat.kif 1601-1601
(termFormat ChineseLanguage MaleLifeExpectancyAtBirthFn "男性出生时的预期寿命") domainEnglishFormat.kif 35846-35846
(termFormat ChineseTraditionalLanguage MaleLifeExpectancyAtBirthFn "男性出生時的預期壽命") domainEnglishFormat.kif 35845-35845
(termFormat EnglishLanguage MaleLifeExpectancyAtBirthFn "male life expectancy at birth") domainEnglishFormat.kif 35844-35844

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


(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?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 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 357-390 EAR year 目 の instance では equal MaleLifeExpectancyAtBirthFn 地政学的地域 and and 実数 リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リストリストinstance では リストlength 整数instance では リストITEM average リスト and 実数


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