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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PopulationFn

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 31694-31709
(domain PopulationFn 1 GeopoliticalArea) Mid-level-ontology.kif 31692-31692 Die Zahl 1 Argument von PopulationFn ist ein fall von GeopoliticalArea %n{nicht}
(instance PopulationFn UnaryFunction) Mid-level-ontology.kif 31691-31691 PopulationFn ist ein fall von UnaryFunction %n{nicht}
(range PopulationFn Integer) Mid-level-ontology.kif 31693-31693 bildbereich von PopulationFn ist ein fall von Integer {nicht}

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


(format ChineseLanguage PopulationFn "%1 的 population ") domainEnglishFormat.kif 1983-1983
(format ChineseTraditionalLanguage PopulationFn "%1 的 population ") domainEnglishFormat.kif 1982-1982
(format EnglishLanguage PopulationFn "the population of %1") domainEnglishFormat.kif 1981-1981
(termFormat ChineseLanguage PopulationFn "人口") domainEnglishFormat.kif 46651-46651
(termFormat ChineseTraditionalLanguage PopulationFn "人口") domainEnglishFormat.kif 46650-46650
(termFormat EnglishLanguage PopulationFn "population") domainEnglishFormat.kif 46649-46649

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 Year ist ein fall von das jahr Integer %n{nicht} und BirthsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn ** GeopoliticalArea und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn ** GeopoliticalArea und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und MigrantsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn (** Integer und ** Integer) ist gleich 1 %n{nicht} und Entity ist ein fall von das jahr ** ** Integer %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** Year %n{nicht} und ** ** RealNumber und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und (** ** Integer und ** ** Integer) ist gleich ** RealNumber %n{nicht} und ** ** RealNumber und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (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 Year ist ein fall von das jahr Integer %n{nicht} und PopulationGrowthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn (** Integer und ** IntegerP) ist gleich 1 %n{nicht} und TimePosition ist ein fall von das jahr ** IntegerP %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** Year %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** TimePosition %n{nicht} und ** ** RealNumber und ** ** RealNumber ist gleich ** RealNumber %n{nicht} und (** ** RealNumber und 1) ist gleich ** RealNumber %n{nicht}
(=>
    (attribute ?A UrbanArea)
    (exists (?N)
        (and
            (equal ?N
                (PopulationFn ?A))
            (greaterThan ?N 50000))))
Mid-level-ontology.kif 26626-26632

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


(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))
Mid-level-ontology.kif 31712-31717 PopulationFn GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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