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 GeopoliticalArea
(domain DeathsPerThousandLiveBirthsFn 2 Year) People.kif 244-244 domain DeathsPerThousandLiveBirthsFn, 2 and Year
(instance DeathsPerThousandLiveBirthsFn BinaryFunction) People.kif 242-242 instance DeathsPerThousandLiveBirthsFn and BinaryFunction
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 245-245 range DeathsPerThousandLiveBirthsFn and RealNumber

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 18703-18703
(termFormat ChineseTraditionalLanguage DeathsPerThousandLiveBirthsFn "每千名活產嬰兒死亡人數") domainEnglishFormat.kif 18702-18702
(termFormat EnglishLanguage DeathsPerThousandLiveBirthsFn "deaths per thousand live births") domainEnglishFormat.kif 18701-18701

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 GeopoliticalArea and YearFn Integer and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Birth 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 1000 and Quantity equal entityDEATHCOUNT and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human age entity and MeasureFn entity and YearDuration lessThan entity and 1 during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn entityDEATHCOUNT 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 3.0 is open source software produced by Articulate Software and its partners