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 | 按基尼系数的收入分配 的 1 数量 是 地缘政治区域 的 instance |
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber) | Economy.kif 1291-1291 | 按基尼系数的收入分配 的 2 数量 是 非负实数 的 instance |
(domainSubclass incomeDistributionByGiniIndexInPeriod 3 TimeInterval) | Economy.kif 1292-1292 | 按基尼系数的收入分配 的 3 数量 是 时距 的 subclass |
(instance incomeDistributionByGiniIndexInPeriod TernaryPredicate) | Economy.kif 1289-1289 | 按基尼系数的收入分配 是 三元谓语 的 instance |
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 | 地缘政治区域 对于 有点 时距 在周期 非负实数 基于基尼指数 income 分配 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 非负实数 是 那个 地缘政治区域 基于基尼指数的 income 分配 在 那个 时间位置 holdsDuring |
(=> (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD) (lessThanOrEqualTo ?INDEX 100.0)) |
Economy.kif 1300-1302 |