lowestDecileShareOfHouseholdIncome - Sigma Knowledge base Browser

appearance as argument number 1

(instance lowestDecileShareOfHouseholdIncome BinaryPredicate)	Economy.kif 1305-1305	lowest decile share of household income is an instance of binary predicate
(domain lowestDecileShareOfHouseholdIncome 1 GeopoliticalArea)	Economy.kif 1306-1306	The number 1 argument of lowest decile share of household income is an instance of geopolitical area
(domain lowestDecileShareOfHouseholdIncome 2 RealNumber)	Economy.kif 1307-1307	The number 2 argument of lowest decile share of household income is an instance of real number
(documentation lowestDecileShareOfHouseholdIncome EnglishLanguage "(lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION) means that in the GeopoliticalArea ?AREA, the lowest decile (0-10%) 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 1309-1316	The number 2 argument of lowest decile share of household income is an instance of real number

appearance as argument number 2

(format EnglishLanguage lowestDecileShareOfHouseholdIncome "%2 is %n a lowest decile share of household income of %1")	domainEnglishFormat.kif 1577-1577
(format ChineseTraditionalLanguage lowestDecileShareOfHouseholdIncome "%2 %n 是 %1 lowest 平分家庭收入")	domainEnglishFormat.kif 1578-1578
(format ChineseLanguage lowestDecileShareOfHouseholdIncome "%2 %n 是 %1 lowest 平分家庭收入")	domainEnglishFormat.kif 1579-1579
(termFormat EnglishLanguage lowestDecileShareOfHouseholdIncome "lowest decile share of household income")	domainEnglishFormat.kif 35155-35155
(termFormat ChineseTraditionalLanguage lowestDecileShareOfHouseholdIncome "最低平均家庭收入")	domainEnglishFormat.kif 35156-35156
(termFormat ChineseLanguage lowestDecileShareOfHouseholdIncome "最低平均家庭收入")	domainEnglishFormat.kif 35157-35157

antecedent

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

Economy.kif 1318-1320

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

consequent

(<=>
    (lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION)))))

Economy.kif 1322-1327

X lowest 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 lowest 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