| 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 105-115 | |
| (domain DeathsPerThousandFn 1 GeopoliticalArea) | People.kif 102-102 | The number 1 argument of deaths per thousand is an instance of geopolitical area |
| (domain DeathsPerThousandFn 2 Year) | People.kif 103-103 | The number 2 argument of deaths per thousand is an instance of year |
| (instance DeathsPerThousandFn BinaryFunction) | People.kif 101-101 | Deaths per thousand is an instance of binary function |
| (range DeathsPerThousandFn RealNumber) | People.kif 104-104 | The range of deaths per thousand is an instance of real number |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage DeathsPerThousandFn "%1 和 %2 每一千里的 deaths") | domainEnglishFormat.kif 688-688 | |
| (format ChineseTraditionalLanguage DeathsPerThousandFn "%1 和 %2 每一千裡的 deaths ") | domainEnglishFormat.kif 687-687 | |
| (format EnglishLanguage DeathsPerThousandFn "the deaths per thousand of %1 and %2") | domainEnglishFormat.kif 686-686 | |
| (termFormat ChineseLanguage DeathsPerThousandFn "每千人死亡") | domainEnglishFormat.kif 18790-18790 | |
| (termFormat ChineseTraditionalLanguage DeathsPerThousandFn "每千人死亡") | domainEnglishFormat.kif 18789-18789 | |
| (termFormat EnglishLanguage DeathsPerThousandFn "deaths per thousand") | domainEnglishFormat.kif 18788-18788 |
| antecedent |
|
|
| (<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandFn ?AREA ?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) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 118-133 | A year is an instance of the year an integer and the deaths per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number |
|
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