Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - incomeDistributionByGiniIndex
incomeDistributionByGiniIndex

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 1298-1301
(domain incomeDistributionByGiniIndex 1 GeopoliticalArea) Economy.kif 1295-1295 The number 1 argument of income distribution by gini index is an instance of geopolitical area
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber) Economy.kif 1296-1296 The number 2 argument of income distribution by gini index is an instance of nonnegative real number
(instance incomeDistributionByGiniIndex BinaryPredicate) Economy.kif 1294-1294 income distribution by gini index is an instance of binary predicate

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 29419-29419
(termFormat ChineseTraditionalLanguage incomeDistributionByGiniIndex "按基尼指數的收入分配") domainEnglishFormat.kif 29418-29418
(termFormat EnglishLanguage incomeDistributionByGiniIndex "income distribution by gini index") domainEnglishFormat.kif 29417-29417

antecedent
-------------------------


(=>
    (incomeDistributionByGiniIndex ?AREA ?INDEX)
    (lessThanOrEqualTo ?INDEX 100))
Economy.kif 1303-1305

consequent
-------------------------


(<=>
    (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (incomeDistributionByGiniIndex ?AREA ?INDEX)))))
Economy.kif 1308-1313 A geopolitical area income distribution by gini index in period a nonnegative real number for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the nonnegative real number is an income distribution by gini index of the geopolitical area holds during the time position


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners