ethnicityPercentInRegion |
appearance as argument number 1 |
(documentation ethnicityPercentInRegion EnglishLanguage "The percentage of the population of a given GeographicArea that belongs to a particular EthnicGroup.") | People.kif 1541-1542 | |
(domain ethnicityPercentInRegion 1 EthnicGroup) | People.kif 1544-1544 | ethnicityPercentInRegion の数値 1 引数は 民族 の instance では %n |
(domain ethnicityPercentInRegion 2 RealNumber) | People.kif 1545-1545 | ethnicityPercentInRegion の数値 2 引数は 実数 の instance では %n |
(domain ethnicityPercentInRegion 3 GeographicArea) | People.kif 1546-1546 | ethnicityPercentInRegion の数値 3 引数は 地理的地域 の instance では %n |
(instance ethnicityPercentInRegion TernaryPredicate) | People.kif 1543-1543 | ethnicityPercentInRegion は 3進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage ethnicityPercentInRegion "%2 percent 的人在 %3 是 %1 ") | domainEnglishFormat.kif 3318-3318 | |
(format ChineseTraditionalLanguage ethnicityPercentInRegion "%2 percent 的人在 %3 是 %1 ") | domainEnglishFormat.kif 3317-3317 | |
(format EnglishLanguage ethnicityPercentInRegion "%2 percent of people in %3 are %1") | domainEnglishFormat.kif 3316-3316 | |
(termFormat EnglishLanguage ethnicityPercentInRegion "ethnicity percent in region") | domainEnglishFormat.kif 65823-65823 |
antecedent |
(<=> (ethnicityPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2) (and (located ?P ?R) (member ?P ?BG) (member ?P ?G1) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2))))) |
People.kif 1547-1558 | ethnicityPercentInRegion 民族, 実数 and 地理的地域 コレクション コレクション, 物理, 物理2, 実数1 and 実数2 物理 は 地理的地域 に located して %n 物理 は 民族 の member では %n 物理 は コレクション の member では %n memberCount コレクション and 実数1 物理2 は 地理的地域 に located して %n 物理2 は コレクション の member では %n memberCount コレクション and 実数2 実数 + 100 は 実数1 + 実数2 と equal では %n |