highestDecileShareOfHouseholdIncome - Sigma Knowledge base Browser

appearance as argument number 1

(instance highestDecileShareOfHouseholdIncome BinaryPredicate)	Economy.kif 1350-1350	highest decile share of household income is an instance of binary predicate
(domain highestDecileShareOfHouseholdIncome 1 GeopoliticalArea)	Economy.kif 1351-1351	The number 1 argument of highest decile share of household income is an instance of geopolitical area
(domain highestDecileShareOfHouseholdIncome 2 RealNumber)	Economy.kif 1352-1352	The number 2 argument of highest decile share of household income is an instance of real number
(documentation highestDecileShareOfHouseholdIncome EnglishLanguage "(highestDecileShareOfHouseholdIncome ?AREA ?FRACTION) means that in the GeopoliticalArea ?AREA, the highest decile (90-100%) of households with respect to household income (or consumption) had ?FRACTION amount of the total household income (or consumption). Data from different countries may not be directly comparable due to variation in the basis of the data (e.g., based on income versus based on consumption).")	Economy.kif 1354-1361	The number 2 argument of highest decile share of household income is an instance of real number

appearance as argument number 2

(format EnglishLanguage highestDecileShareOfHouseholdIncome "%2 is %n a highest decile share of household income of %1")	domainEnglishFormat.kif 1175-1175
(format ChineseTraditionalLanguage highestDecileShareOfHouseholdIncome "%2 %n 是 %1 的 highest 平分家庭收入")	domainEnglishFormat.kif 1176-1176
(format ChineseLanguage highestDecileShareOfHouseholdIncome "%2 %n 是 %1 的 highest 平分家庭收入")	domainEnglishFormat.kif 1177-1177
(termFormat EnglishLanguage highestDecileShareOfHouseholdIncome "highest decile share of household income")	domainEnglishFormat.kif 28097-28097
(termFormat ChineseTraditionalLanguage highestDecileShareOfHouseholdIncome "最高的等分家庭收入")	domainEnglishFormat.kif 28098-28098
(termFormat ChineseLanguage highestDecileShareOfHouseholdIncome "最高的等分家庭收入")	domainEnglishFormat.kif 28099-28099

antecedent

(=>
(highestDecileShareOfHouseholdIncome ?AREA ?FRACTION)
(lessThanOrEqualTo ?FRACTION 1.0))

Economy.kif 1364-1366

If X is a highest decile share of household income of Y, then X is less than or equal to 1.0

consequent

(<=>
    (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION)))))

Economy.kif 1368-1373

X is highest decile share of household income in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is a highest decile share of household income of X holds during W

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners