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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PopulationFn
PopulationFn

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


(documentation PopulationFn EnglishLanguage "(PopulationFn ?AREA) denotes the Integer that represents the count of the number of people inhabiting the GeopoliticalArea ?AREA. This number gives an estimate from the US Bureau of the Census based on statistics from population censuses, vital statistics registration systems, or sample surveys pertaining to the recent past and on assumptions about future trends. The total population presents one overall measure of the potential impact of the country on the world and within its region. Note: Starting with the 1993 Factbook, demographic estimates for some countries (mostly African) have explicitly taken into account the effects of the growing impact of the HIV/ AIDS epidemic. These countries are currently: The Bahamas, Benin, Botswana, Brazil, Burkina Faso, Burma, Burundi, Cambodia, Cameroon, Central African Republic, Democratic Republic of the Congo, Republic of the Congo, Cote d'Ivoire, Ethiopia, Gabon, Ghana, Guyana, Haiti, Honduras, Kenya, Lesotho, Malawi, Mozambique, Namibia, Nigeria, Rwanda, South Africa, Swaziland, Tanzania, Thailand, Togo, Uganda, Zambia, and Zimbabwe.") Mid-level-ontology.kif 33640-33655
(domain PopulationFn 1 GeopoliticalArea) Mid-level-ontology.kif 33638-33638 人口 的 1 数量 是 地缘政治区域instance
(instance PopulationFn UnaryFunction) Mid-level-ontology.kif 33637-33637 人口一元函数instance
(range PopulationFn Integer) Mid-level-ontology.kif 33639-33639 人口range整数 的实例

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


(format ChineseLanguage PopulationFn "%1 的 population ") domainEnglishFormat.kif 1987-1987
(format ChineseTraditionalLanguage PopulationFn "%1 的 population ") domainEnglishFormat.kif 1986-1986
(format EnglishLanguage PopulationFn "the population of %1") domainEnglishFormat.kif 1985-1985
(termFormat ChineseLanguage PopulationFn "人口") domainEnglishFormat.kif 46653-46653
(termFormat ChineseTraditionalLanguage PopulationFn "人口") domainEnglishFormat.kif 46652-46652
(termFormat EnglishLanguage PopulationFn "population") domainEnglishFormat.kif 46651-46651

consequent
-------------------------


(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (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 ?THOUSANDS) ?REALNUMBER)))
People.kif 82-97 整数 yearinstanceequal 地缘政治区域那个 年 每一千的 births and 实数 若且唯若 equal 那个 地缘政治区域population 和 1000 and 另一个 实数equal 另一个 整数 and 符号串 所描述的类别 instance 的数量 和 equal 那个 另外 整数那个 另外 实数 and 那个 实数
(<=>
    (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 整数 yearinstanceequal 地缘政治区域那个 年 每一千里的 deaths and 实数 若且唯若 equal 那个 地缘政治区域population 和 1000 and 另一个 实数equal 另一个 整数 and 符号串 所描述的类别 instance 的数量 和 equal 那个 另外 整数那个 另外 实数 and 那个 实数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (SubtractionFn ?Y ?PY) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?PY))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (equal
            (DivisionFn ?POPULATION 1000) ?THOUSANDS)
        (equal ?IMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (not
                                (inhabits ?PERSON ?AREA)))
                        (holdsDuring ?YEAR
                            (inhabits ?PERSON ?AREA))))))
        (equal ?EMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (inhabits ?PERSON ?AREA))
                        (holdsDuring ?YEAR
                            (not
                                (inhabits ?PERSON ?AREA)))))))
        (equal
            (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
        (equal
            (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 156-187 整数 yearinstanceequal 地缘政治区域那个 年 每一千的 migrants and 实数 若且唯若 equal (那个 整数另一个 整数) and 1 和 实体那个 另外 整数 yearinstanceequal 那个 地缘政治区域population and 另一个 实数那个 年 holdsDuringequal 那个 另外 实数 和 1000 and 第三 实数equal 第三 整数 and 符号串 所描述的类别 instance 的数量 和 equal 第四 整数 and 那个 符号串 所描述的类别 instance 的数量 和 equal (那个 第三 整数那个 第四 整数) and 第四 实数equal 那个 第四 实数那个 第三 实数 and 那个 实数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT))
    (and
        (equal
            (SubtractionFn ?Y ?YP) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?YP))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (holdsDuring ?PREVIOUSYEAR
            (equal
                (PopulationFn ?AREA) ?PREVIOUSPOPULATION))
        (equal
            (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
        (equal
            (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))
People.kif 52-64 整数 yearinstanceequal 地缘政治区域那个 年population 成长 and 实数 若且唯若 equal (那个 整数那个 整数P) and 1 和 时间位置那个 整数P yearinstanceequal 那个 地缘政治区域population and 另一个 实数那个 年 holdsDuringequal 那个 地缘政治区域population and 第三 实数那个 时间位置 holdsDuringequal 那个 另外 实数那个 第三 实数 and 第四 实数equal (那个 第四 实数 和 1) and 那个 实数
(=>
    (attribute ?A UrbanArea)
    (exists (?N)
        (and
            (equal ?N
                (PopulationFn ?A))
            (greaterThan ?N 50000))))
Mid-level-ontology.kif 28525-28531

statement
-------------------------


(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))
Mid-level-ontology.kif 33658-33663 equal 地缘政治区域population and 符号串 所描述的类别 instance 的数量


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