TreeView Knowledge Base Browser - MigrantsPerThousandFn

appearance as argument number 1

(instance MigrantsPerThousandFn BinaryFunction)	People.kif 171-171	Migrants per thousand is an instance of binary function
(domain MigrantsPerThousandFn 1 GeopoliticalArea)	People.kif 172-172	The number 1 argument of migrants per thousand is an instance of geopolitical area
(domain MigrantsPerThousandFn 2 Year)	People.kif 173-173	The number 2 argument of migrants per thousand is an instance of year
(range MigrantsPerThousandFn RealNumber)	People.kif 174-174	The range of migrants per thousand is an instance of real number
(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 175-187	The range of migrants per thousand is an instance of real number

appearance as argument number 2

(format EnglishLanguage MigrantsPerThousandFn "the migrants per thousand of %1 and %2")	domainEnglishFormat.kif 1713-1713
(format ChineseTraditionalLanguage MigrantsPerThousandFn "%1 和 %2 每一千的 migrants ")	domainEnglishFormat.kif 1714-1714
(format ChineseLanguage MigrantsPerThousandFn "%1 和 %2 每一千的 migrants ")	domainEnglishFormat.kif 1715-1715
(termFormat EnglishLanguage MigrantsPerThousandFn "migrants per thousand")	domainEnglishFormat.kif 37505-37505
(termFormat ChineseTraditionalLanguage MigrantsPerThousandFn "每千人移民")	domainEnglishFormat.kif 37506-37506
(termFormat ChineseLanguage MigrantsPerThousandFn "每千人移民")	domainEnglishFormat.kif 37507-37507

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 190-221

If X is an instance of the year Y and equal the migrants per thousand of Z, X, and W, then All of the following hold: (1) equal (Y and V) and 1 (2) U is an instance of the year V (3) equal the population of Z and T holds during X (4) equal T, 1000, and S (5) equal R and the number of instances in the class described by Q (6) equal P and the number of instances in the class described by Q (7) equal (R and P) and O (8) equal O, S, and W

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

KB Term:			Term intersection

English Word: