| 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 | The number 1 argument of deaths per thousand live births is an instance of geopolitical area |
| (domain DeathsPerThousandLiveBirthsFn 2 Year) | People.kif 229-229 | The number 2 argument of deaths per thousand live births is an instance of year |
| (instance DeathsPerThousandLiveBirthsFn BinaryFunction) | People.kif 227-227 | Deaths per thousand live births is an instance of binary function |
| (range DeathsPerThousandLiveBirthsFn RealNumber) | People.kif 230-230 | The range of deaths per thousand live births is an instance of real number |
| 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 18796-18796 | |
| (termFormat ChineseTraditionalLanguage DeathsPerThousandLiveBirthsFn "每千名活產嬰兒死亡人數") | domainEnglishFormat.kif 18795-18795 | |
| (termFormat EnglishLanguage DeathsPerThousandLiveBirthsFn "deaths per thousand live births") | domainEnglishFormat.kif 18794-18794 |
| 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 | A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to another real number and a third integer is equal to the number of instances in the class described by another symbolic string and the third 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