| 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 | 每千人移民 的 1 数量 是 地缘政治区域 的 instance |
| (domain MigrantsPerThousandFn 2 Year) | People.kif 139-139 | 每千人移民 的 2 数量 是 年 的 instance |
| (instance MigrantsPerThousandFn BinaryFunction) | People.kif 137-137 | 每千人移民 是 二元函数 的 instance |
| (range MigrantsPerThousandFn RealNumber) | People.kif 140-140 | 每千人移民 的 range 是 实数 的实例 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage MigrantsPerThousandFn "%1 和 %2 每一千的 migrants ") | domainEnglishFormat.kif 1715-1715 | |
| (format ChineseTraditionalLanguage MigrantsPerThousandFn "%1 和 %2 每一千的 migrants ") | domainEnglishFormat.kif 1714-1714 | |
| (format EnglishLanguage MigrantsPerThousandFn "the migrants per thousand of %1 and %2") | domainEnglishFormat.kif 1713-1713 | |
| (termFormat ChineseLanguage MigrantsPerThousandFn "每千人移民") | domainEnglishFormat.kif 37514-37514 | |
| (termFormat ChineseTraditionalLanguage MigrantsPerThousandFn "每千人移民") | domainEnglishFormat.kif 37513-37513 | |
| (termFormat EnglishLanguage MigrantsPerThousandFn "migrants per thousand") | domainEnglishFormat.kif 37512-37512 |
| 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 和 equal 地缘政治区域 和 那个 年 每一千的 migrants and 实数 若且唯若 equal (那个 整数 和 另一个 整数) and 1 和 实体 是 那个 另外 整数 year 的 instance 和 equal 那个 地缘政治区域 的 population and 另一个 实数 在 那个 年 holdsDuring 和 equal 那个 另外 实数 和 1000 and 第三 实数 和 equal 第三 整数 and 符号串 所描述的类别 instance 的数量 和 equal 第四 整数 and 那个 符号串 所描述的类别 instance 的数量 和 equal (那个 第三 整数 和 那个 第四 整数) and 第四 实数 和 equal 那个 第四 实数 和 那个 第三 实数 and 那个 实数 |
|
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