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 1308-1311
(domain incomeDistributionByGiniIndex 1 GeopoliticalArea) Economy.kif 1305-1305 The number 1 argument of income distribution by gini index is an instance of geopolitical area
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber) Economy.kif 1306-1306 The number 2 argument of income distribution by gini index is an instance of nonnegative real number
(instance incomeDistributionByGiniIndex BinaryPredicate) Economy.kif 1304-1304 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 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 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 3.0 is open source software produced by Articulate Software and its partners