| 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 | incomeDistributionByGiniIndexInPeriod の数値 1 引数は 地政学的地域 の instance では %n |
| (domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber) | Economy.kif 1291-1291 | incomeDistributionByGiniIndexInPeriod の数値 2 引数は 非負実数 の instance では %n |
| (domainSubclass incomeDistributionByGiniIndexInPeriod 3 TimeInterval) | Economy.kif 1292-1292 | incomeDistributionByGiniIndexInPeriod の数値 3 引数は 時間間隔 のsubclass では %n |
| (instance incomeDistributionByGiniIndexInPeriod TernaryPredicate) | Economy.kif 1289-1289 | incomeDistributionByGiniIndexInPeriod は 3進述語 の instance では %n |
| 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 | incomeDistributionByGiniIndexInPeriod 地政学的地域, 非負実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n incomeDistributionByGiniIndex 地政学的地域 and 非負実数 は 時間位置 の during holds %n{ない} |
| (=> (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD) (lessThanOrEqualTo ?INDEX 100.0)) |
Economy.kif 1300-1302 |
|
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 is open source software produced by Articulate Software and its partners