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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeathsPerThousandLiveBirthsFn

Sigma KEE - DeathsPerThousandLiveBirthsFn
DeathsPerThousandLiveBirthsFn

appearance as argument number 1
-------------------------


(documentation DeathsPerThousandLiveBirthsFn EnglishLanguage "(DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) denotes the RealNumber that represents the number of deaths of infants under one year old in a given year per 1,000 live births in the same year. This rate is often used as an indicator of the level of health in a country.") People.kif 231-235
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea) People.kif 228-228 DeathsPerThousandLiveBirthsFn の数値 1 引数は 地政学的地域instance では %n
(domain DeathsPerThousandLiveBirthsFn 2 Year) People.kif 229-229 DeathsPerThousandLiveBirthsFn の数値 2 引数は instance では %n
(instance DeathsPerThousandLiveBirthsFn BinaryFunction) People.kif 227-227 DeathsPerThousandLiveBirthsFn2変数関数instance では %n
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 230-230 DeathsPerThousandLiveBirthsFnrange実数 のインスタンス では %n

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


(format ChineseLanguage DeathsPerThousandLiveBirthsFn "%1 和 %2 每一千个生存出生里的 deaths ") domainEnglishFormat.kif 692-692
(format ChineseTraditionalLanguage DeathsPerThousandLiveBirthsFn "%1 和 %2 每一千個生存出生裡的 deaths ") domainEnglishFormat.kif 691-691
(format EnglishLanguage DeathsPerThousandLiveBirthsFn "the deaths per thousand live births of %1 and %2") domainEnglishFormat.kif 690-690
(termFormat ChineseLanguage DeathsPerThousandLiveBirthsFn "每千名活产婴儿死亡人数") domainEnglishFormat.kif 18780-18780
(termFormat ChineseTraditionalLanguage DeathsPerThousandLiveBirthsFn "每千名活產嬰兒死亡人數") domainEnglishFormat.kif 18779-18779
(termFormat EnglishLanguage DeathsPerThousandLiveBirthsFn "deaths per thousand live births") domainEnglishFormat.kif 18778-18778

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


(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 238-264 整数 year 目 の instance では %n DeathsPerThousandLiveBirthsFn 地政学的地域 and 実数equal では %n 整数 エンティティー classinstances の数 と equal では %n 整数 + 1000 は 実数equal では %n 整数 エンティティー classinstances の数 と equal では %n 整数 + 実数 実数equal では %n


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 3.0 is open source software produced by Articulate Software and its partners