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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeathsPerThousandFn

Sigma KEE - DeathsPerThousandFn
DeathsPerThousandFn

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


(documentation DeathsPerThousandFn EnglishLanguage "(DeathsPerThousandFn ?AREA ?YEAR) denotes the RealNumber that represents the number of deaths per thousand individuals in the population of the GeopoliticalArea ?AREA for Year ?YEAR. This number gives the average annual number of deaths during a year per 1,000 population at midyear, also known as crude death rate. The death rate, while only a rough indicator of the mortality situation in a country, accurately indicates the current mortality impact on population growth. This indicator is significantly affected by age distribution, and most countries will eventually show a rise in the overall death rate, in spite of continued decline in mortality at all ages, as declining fertility results in an aging population.") People.kif 125-135
(domain DeathsPerThousandFn 1 GeopoliticalArea) People.kif 122-122 DeathsPerThousandFn 的 1 数量 是 地缘政治区域instance
(domain DeathsPerThousandFn 2 Year) People.kif 123-123 DeathsPerThousandFn 的 2 数量 是 instance
(instance DeathsPerThousandFn BinaryFunction) People.kif 121-121 DeathsPerThousandFn二元函数instance
(range DeathsPerThousandFn RealNumber) People.kif 124-124 DeathsPerThousandFnrange实数 的实例

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


(format EnglishLanguage DeathsPerThousandFn "the deaths per thousand of %1 and %2") domainEnglishFormat.kif 181-181
(termFormat EnglishLanguage DeathsPerThousandFn "deaths per thousand") domainEnglishFormat.kif 3550-3550 termFormat EnglishLanguage, DeathsPerThousandFn and "deaths per thousand"

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


(<=>
    (equal
        (DeathsPerThousandFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 138-151 DeathsPerThousandFn 地缘政治区域 and 整数 year equal 实数 若且唯若 PopulationFn 那个 地缘政治区域 和 1000 equal 数量另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数那个 数量 equal 那个 实数


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