TreeView Knowledge Base Browser - incomeDistributionByGiniIndex

appearance as argument number 1

(instance incomeDistributionByGiniIndex BinaryPredicate)	Economy.kif 1393-1393	income distribution by gini index is an instance of binary predicate
(domain incomeDistributionByGiniIndex 1 GeopoliticalArea)	Economy.kif 1394-1394	The number 1 argument of income distribution by gini index is an instance of geopolitical area
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber)	Economy.kif 1395-1395	The number 2 argument of income distribution by gini index is an instance of nonnegative real number
(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 1397-1400	The number 2 argument of income distribution by gini index is an instance of nonnegative real number

appearance as argument number 2

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

antecedent

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

Economy.kif 1402-1404

If X is an income distribution by gini index of Y, then X is less than or equal to 100.0

consequent

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

Economy.kif 1407-1412

X income distribution by gini index in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is an income distribution by gini index of X holds during W

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

KB Term:			Term intersection

English Word: