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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 domain DeathsPerThousandFn, 1 and GeopoliticalArea
(domain DeathsPerThousandFn 2 Year) People.kif 123-123 domain DeathsPerThousandFn, 2 and Year
(instance DeathsPerThousandFn BinaryFunction) People.kif 121-121 instance DeathsPerThousandFn and BinaryFunction
(range DeathsPerThousandFn RealNumber) People.kif 124-124 range DeathsPerThousandFn and RealNumber

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 18703-18703 termFormat ChineseLanguage, DeathsPerThousandFn and "每千人死亡"
(termFormat ChineseTraditionalLanguage DeathsPerThousandFn "每千人死亡") domainEnglishFormat.kif 18702-18702 termFormat ChineseTraditionalLanguage, DeathsPerThousandFn and "每千人死亡"
(termFormat EnglishLanguage DeathsPerThousandFn "deaths per thousand") domainEnglishFormat.kif 18701-18701 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 equal DeathsPerThousandFn GeopoliticalArea and YearFn Integer and RealNumber equal DivisionFn PopulationFn GeopoliticalArea and 1000 and Quantity equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and Quantity and RealNumber


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