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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - incomeDistributionByGiniIndexInPeriod
incomeDistributionByGiniIndexInPeriod

appearance as argument number 1
-------------------------


(documentation incomeDistributionByGiniIndexInPeriod EnglishLanguage "(incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD) means that in the GeopoliticalArea ?AREA, the distribution of family income is ?INDEX, as measured by the Gini index, during the TimeInterval indicated by ?PERIOD.") Economy.kif 1294-1298
(domain incomeDistributionByGiniIndexInPeriod 1 GeopoliticalArea) Economy.kif 1290-1290
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber) Economy.kif 1291-1291
(domainSubclass incomeDistributionByGiniIndexInPeriod 3 TimeInterval) Economy.kif 1292-1292
(instance incomeDistributionByGiniIndexInPeriod TernaryPredicate) Economy.kif 1289-1289

appearance as argument number 2
-------------------------


(format ChineseLanguage incomeDistributionByGiniIndexInPeriod "%1 %n{不} 对于 %3 在周期 %2 基于基尼指数 income 分配") domainEnglishFormat.kif 1297-1297
(format ChineseTraditionalLanguage incomeDistributionByGiniIndexInPeriod "%1 %n{不} 對於 %3 在週期 %2 基於基尼指數 income 分配") domainEnglishFormat.kif 1296-1296
(format EnglishLanguage incomeDistributionByGiniIndexInPeriod "%1 %n{doesn't} income distribution by gini index in period %2 for %3") domainEnglishFormat.kif 1295-1295
(termFormat ChineseLanguage incomeDistributionByGiniIndexInPeriod "按基尼系数的收入分配") domainEnglishFormat.kif 29527-29527
(termFormat ChineseTraditionalLanguage incomeDistributionByGiniIndexInPeriod "按基尼係數的收入分配") domainEnglishFormat.kif 29526-29526
(termFormat EnglishLanguage incomeDistributionByGiniIndexInPeriod "income distribution by gini index in period") domainEnglishFormat.kif 29525-29525

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


(<=>
    (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (incomeDistributionByGiniIndex ?AREA ?INDEX)))))
Economy.kif 1318-1323
(=>
    (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
    (lessThanOrEqualTo ?INDEX 100.0))
Economy.kif 1300-1302


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