lowestDecileShareOfHouseholdIncome |
appearance as argument number 1 |
(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 1220-1227 | |
(domain lowestDecileShareOfHouseholdIncome 1 GeopoliticalArea) | Economy.kif 1217-1217 | 最低平均家庭收入 的 1 数量 是 地缘政治区域 的 instance |
(domain lowestDecileShareOfHouseholdIncome 2 RealNumber) | Economy.kif 1218-1218 | 最低平均家庭收入 的 2 数量 是 实数 的 instance |
(instance lowestDecileShareOfHouseholdIncome BinaryPredicate) | Economy.kif 1216-1216 | 最低平均家庭收入 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage lowestDecileShareOfHouseholdIncome "%2 %n 是 %1 lowest 平分家庭收入") | domainEnglishFormat.kif 1579-1579 | |
(format ChineseTraditionalLanguage lowestDecileShareOfHouseholdIncome "%2 %n 是 %1 lowest 平分家庭收入") | domainEnglishFormat.kif 1578-1578 | |
(format EnglishLanguage lowestDecileShareOfHouseholdIncome "%2 is %n a lowest decile share of household income of %1") | domainEnglishFormat.kif 1577-1577 | |
(termFormat ChineseLanguage lowestDecileShareOfHouseholdIncome "最低平均家庭收入") | domainEnglishFormat.kif 35153-35153 | |
(termFormat ChineseTraditionalLanguage lowestDecileShareOfHouseholdIncome "最低平均家庭收入") | domainEnglishFormat.kif 35152-35152 | |
(termFormat EnglishLanguage lowestDecileShareOfHouseholdIncome "lowest decile share of household income") | domainEnglishFormat.kif 35151-35151 |
antecedent |
(=> (lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 1229-1231 |
|
consequent |
(<=> (lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1233-1238 | 地缘政治区域 对于 有点 时距 在周期 实数 的 lowest 平分家庭收入 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 lowest 平分家庭收入 在 那个 时间位置 holdsDuring |