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 1399-1402
(domain incomeDistributionByGiniIndex 1 GeopoliticalArea) Economy.kif 1396-1396 The number 1 argument of income distribution by gini index is an instance of geopolitical area
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber) Economy.kif 1397-1397 The number 2 argument of income distribution by gini index is an instance of nonnegative real number
(instance incomeDistributionByGiniIndex BinaryPredicate) Economy.kif 1395-1395 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 29549-29549
(termFormat ChineseTraditionalLanguage incomeDistributionByGiniIndex "按基尼指數的收入分配") domainEnglishFormat.kif 29548-29548
(termFormat EnglishLanguage incomeDistributionByGiniIndex "income distribution by gini index") domainEnglishFormat.kif 29547-29547

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


(=>
    (incomeDistributionByGiniIndex ?AREA ?INDEX)
    (lessThanOrEqualTo ?INDEX 100.0))
Economy.kif 1404-1406

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


(<=>
    (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (incomeDistributionByGiniIndex ?AREA ?INDEX)))))
Economy.kif 1409-1414 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