realGrowthRateOfGDPInPeriod |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage realGrowthRateOfGDPInPeriod "%1 %n 是 对于 %3 在周期 %2 的 real GDP 的成长速率") | domainEnglishFormat.kif 2111-2111 | |
(format ChineseTraditionalLanguage realGrowthRateOfGDPInPeriod "%1 %n 是 對於 %3 在週期 %2 的 real GDP 的成長速率") | domainEnglishFormat.kif 2110-2110 | |
(format EnglishLanguage realGrowthRateOfGDPInPeriod "%1 is %n real growth rate of GDP in period %2 for %3") | domainEnglishFormat.kif 2109-2109 | |
(termFormat ChineseLanguage realGrowthRateOfGDPInPeriod "期间实际GDP增长率") | domainEnglishFormat.kif 48943-48943 | |
(termFormat ChineseTraditionalLanguage realGrowthRateOfGDPInPeriod "期間實際GDP增長率") | domainEnglishFormat.kif 48942-48942 | |
(termFormat EnglishLanguage realGrowthRateOfGDPInPeriod "real growth rate of GDP in period") | domainEnglishFormat.kif 48941-48941 |
antecedent |
(<=> (realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (realGrowthRateOfGDP ?AREA ?RATE))))) |
Economy.kif 1007-1012 | A geopolitical area is real growth rate of GDP in period a real number for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the real number is a real growth rate of GDP of the geopolitical area holds during the time position |