incomeDistributionByGiniIndex - Sigma Knowledge base Browser

appearance as argument number 1

(documentation incomeDistributionByGiniIndex EnglishLanguage "(incomeDistributionByGiniIndex ?AREA ?INDEX) means that in the GeopoliticalArea ?AREA, the distribution of family income is ?INDEX, as measured by the Gini index for family income distribution.")	Economy.kif 1308-1311
(domain incomeDistributionByGiniIndex 1 GeopoliticalArea)	Economy.kif 1305-1305	incomeDistributionByGiniIndex の数値 1 引数は地政学的地域の instance では %n
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber)	Economy.kif 1306-1306	incomeDistributionByGiniIndex の数値 2 引数は非負実数の instance では %n
(instance incomeDistributionByGiniIndex BinaryPredicate)	Economy.kif 1304-1304	incomeDistributionByGiniIndex は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage incomeDistributionByGiniIndex "%2 %n 是 %1 基于基尼指数的 income 分配")	domainEnglishFormat.kif 1293-1293
(format ChineseTraditionalLanguage incomeDistributionByGiniIndex "%2 %n 是 %1 基於基尼指數的 income 分配")	domainEnglishFormat.kif 1292-1292
(format EnglishLanguage incomeDistributionByGiniIndex "%2 is %n an income distribution by gini index of %1")	domainEnglishFormat.kif 1291-1291
(termFormat ChineseLanguage incomeDistributionByGiniIndex "按基尼指数的收入分配")	domainEnglishFormat.kif 29521-29521
(termFormat ChineseTraditionalLanguage incomeDistributionByGiniIndex "按基尼指數的收入分配")	domainEnglishFormat.kif 29520-29520
(termFormat EnglishLanguage incomeDistributionByGiniIndex "income distribution by gini index")	domainEnglishFormat.kif 29519-29519

antecedent

(=>
(incomeDistributionByGiniIndex ?AREA ?INDEX)
(lessThanOrEqualTo ?INDEX 100.0))

Economy.kif 1313-1315

consequent

(<=>
    (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (incomeDistributionByGiniIndex ?AREA ?INDEX)))))

Economy.kif 1318-1323