TreeView Knowledge Base Browser - MigrantsPerThousandFn

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	MigrantsPerThousandFn の数値 1 引数は地政学的地域の instance では %n
(domain MigrantsPerThousandFn 2 Year)	People.kif 139-139	MigrantsPerThousandFn の数値 2 引数は年の instance では %n
(instance MigrantsPerThousandFn BinaryFunction)	People.kif 137-137	MigrantsPerThousandFn は 2変数関数の instance では %n
(range MigrantsPerThousandFn RealNumber)	People.kif 140-140	MigrantsPerThousandFn の range は実数のインスタンスでは %n

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 37505-37505
(termFormat ChineseTraditionalLanguage MigrantsPerThousandFn "每千人移民")	domainEnglishFormat.kif 37504-37504
(termFormat EnglishLanguage MigrantsPerThousandFn "migrants per thousand")	domainEnglishFormat.kif 37503-37503

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

年は整数 year 目の instance では %n MigrantsPerThousandFn 地政学的地域 and 年は実数と equal では %n ( 整数 + 整数) は 1 と equal では %n エンティティーは整数 year 目の instance では %n PopulationFn 地政学的地域は実数と equal では %n は年の during holds %n{ない} 実数 + 1000 は実数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数はエンティティー class の instances の数と equal では %n ( 整数 + 整数) は実数と equal では %n 実数 + 実数は実数と equal では %n

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

KB Term:			Term intersection

English Word: