MigrantsPerThousandFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MigrantsPerThousandFn EnglishLanguage "(MigrantsPerThousandFn ?AREA) denotes the RealNumber that represents the number of migrants per thousand individuals in the population of the GeopoliticalArea ?AREA. This entry includes the figure for the difference between the number of persons entering and leaving a country during the year per 1,000 persons (based on midyear population). An excess of persons entering the country is referred to as net immigration (e.g., 3.56 migrants/ 1,000 population), an excess of persons leaving the country as net emigration (e.g., -9.26 migrants/ 1,000 population). The net migration rate indicates the contribution of migration to the overall level of population change. High levels of migration can cause problems such as increasing unemployment and potential ethnic strife (if people are coming in) or a reduction in the labor force, perhaps in certain key sectors (if people are leaving).")	People.kif 141-153
(domain MigrantsPerThousandFn 1 GeopoliticalArea)	People.kif 138-138	The number 1 argument of migrants per thousand is an instance of geopolitical area
(domain MigrantsPerThousandFn 2 Year)	People.kif 139-139	The number 2 argument of migrants per thousand is an instance of year
(instance MigrantsPerThousandFn BinaryFunction)	People.kif 137-137	Migrants per thousand is an instance of binary function
(range MigrantsPerThousandFn RealNumber)	People.kif 140-140	The range of migrants per thousand is an instance of real number

appearance as argument number 2

(format ChineseLanguage MigrantsPerThousandFn "%1 和 %2 每一千的 migrants ")	domainEnglishFormat.kif 1711-1711
(format ChineseTraditionalLanguage MigrantsPerThousandFn "%1 和 %2 每一千的 migrants ")	domainEnglishFormat.kif 1710-1710
(format EnglishLanguage MigrantsPerThousandFn "the migrants per thousand of %1 and %2")	domainEnglishFormat.kif 1709-1709
(termFormat ChineseLanguage MigrantsPerThousandFn "每千人移民")	domainEnglishFormat.kif 37539-37539
(termFormat ChineseTraditionalLanguage MigrantsPerThousandFn "每千人移民")	domainEnglishFormat.kif 37538-37538
(termFormat EnglishLanguage MigrantsPerThousandFn "migrants per thousand")	domainEnglishFormat.kif 37537-37537

antecedent

(<=>
    (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

A year is an instance of the year an integer and the migrants per thousand of a geopolitical area and the year is equal to a real number if and only if (the integer and another integer) is equal to 1 and an entity is an instance of the year the other integer and the population of the geopolitical area is equal to another real number holds during the year and the other real number and 1000 is equal to a third real number and a third integer is equal to the number of instances in the class described by a symbolic string and a fourth integer is equal to the number of instances in the class described by the symbolic string and (the third integer and the fourth integer) is equal to a fourth real number and the fourth real number and the third 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

KB Term:			Term intersection

English Word: