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 O argumento numero 1 de incomeDistributionByGiniIndexInPeriod e' uma instancia de Area Geopolitica
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber) Economy.kif 1291-1291 O argumento numero 2 de incomeDistributionByGiniIndexInPeriod e' uma instancia de Numero Real nao-negativo
(domainSubclass incomeDistributionByGiniIndexInPeriod 3 TimeInterval) Economy.kif 1292-1292 O argumento numero 3 de incomeDistributionByGiniIndexInPeriod e' uma sub-classe de Intervalo Temporal
(instance incomeDistributionByGiniIndexInPeriod TernaryPredicate) Economy.kif 1289-1289 incomeDistributionByGiniIndexInPeriod e' uma instancia de Predicado Ternario

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 Geopolitica, Numero Real nao-negativo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal incomeDistributionByGiniIndex Area Geopolitica and Numero Real nao-negativo vale durante Posicao Temporal
(=>
    (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