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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 246-250
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea) People.kif 243-243 domain DeathsPerThousandLiveBirthsFn, 1 and 地政学的地域
(domain DeathsPerThousandLiveBirthsFn 2 Year) People.kif 244-244 domain DeathsPerThousandLiveBirthsFn, 2 and
(instance DeathsPerThousandLiveBirthsFn BinaryFunction) People.kif 242-242 instance DeathsPerThousandLiveBirthsFn and 2変数関数
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 245-245 range DeathsPerThousandLiveBirthsFn and 実数

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


(format EnglishLanguage DeathsPerThousandLiveBirthsFn "the deaths per thousand live births of %1 and %2") domainEnglishFormat.kif 182-182
(termFormat EnglishLanguage DeathsPerThousandLiveBirthsFn "deaths per thousand live births") domainEnglishFormat.kif 3551-3551 termFormat EnglishLanguage, DeathsPerThousandLiveBirthsFn and "deaths per thousand live births"

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


(<=>
    (equal
        (DeathsPerThousandLiveBirthsFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH)
                            (YearFn ?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)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 253-277 equal DeathsPerThousandLiveBirthsFn 地政学的地域 and YearFn 整数 and 実数 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 出生 experiencer 記号文字列 and エンティティー instance エンティティー and 人[人間] during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn 整数 and 1000 and equal エンティティーDEATHCOUNT and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and experiencer 記号文字列 and エンティティー instance エンティティー and 人[人間] age エンティティー and MeasureFn エンティティー and YearDuration lessThan エンティティー and 1 during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn エンティティーDEATHCOUNT and 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners