Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  incomeDistributionByGiniIndexInPeriod

 Sigma KEE - incomeDistributionByGiniIndexInPeriod
incomeDistributionByGiniIndexInPeriod

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


(instance incomeDistributionByGiniIndexInPeriod TernaryPredicate) Economy.kif 1378-1378 income distribution by gini index in period is an instance of ternary predicate
(domain incomeDistributionByGiniIndexInPeriod 1 GeopoliticalArea) Economy.kif 1379-1379 The number 1 argument of income distribution by gini index in period is an instance of geopolitical area
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber) Economy.kif 1380-1380 The number 2 argument of income distribution by gini index in period is an instance of nonnegative real number
(domainSubclass incomeDistributionByGiniIndexInPeriod 3 TimeInterval) Economy.kif 1381-1381 The number 3 argument of income distribution by gini index in period is a subclass of timeframe
(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 1383-1387 The number 3 argument of income distribution by gini index in period is a subclass of timeframe

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


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

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


(=>
    (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
    (lessThanOrEqualTo ?INDEX 100.0))		 Economy.kif 1389-1391 If X income distribution by gini index in period Y for Z, then Y is less than or equal to 100.0
(<=>
    (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (incomeDistributionByGiniIndex ?AREA ?INDEX)))))		 Economy.kif 1407-1412 X income distribution by gini index in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is an income distribution by gini index of X holds during W


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners