realGrowthRateOfGDP |
appearance as argument number 1 |
(documentation realGrowthRateOfGDP EnglishLanguage "(realGrowthRateOfGDP ?AREA ?RATE) means that the annual rate of growth in the Gross Domestic Product (GDP) for the GeopoliticalArea ?AREA is the fraction ?RATE, adjusted for inflation, with GDP calculated on a purchasing power parity basis. See PPPBasedEconomicValuation.") | Economy.kif 1001-1005 | |
(domain realGrowthRateOfGDP 1 GeopoliticalArea) | Economy.kif 998-998 | GDP的实际增长率 的 1 数量 是 地缘政治区域 的 instance |
(domain realGrowthRateOfGDP 2 RealNumber) | Economy.kif 999-999 | GDP的实际增长率 的 2 数量 是 实数 的 instance |
(instance realGrowthRateOfGDP BinaryPredicate) | Economy.kif 997-997 | GDP的实际增长率 是 二元谓语 的 instance |
(instance realGrowthRateOfGDP PPPBasedEconomicValuation) | Economy.kif 996-996 | GDP的实际增长率 是 基于PPP的经济估值 的 instance |
appearance as argument number 2 |
(format ChineseLanguage realGrowthRateOfGDP "%2 %n 是 %1 的 real GDP 成长速率") | domainEnglishFormat.kif 2107-2107 | |
(format ChineseTraditionalLanguage realGrowthRateOfGDP "%2 %n 是 %1 的 real GDP 成長速率") | domainEnglishFormat.kif 2106-2106 | |
(format EnglishLanguage realGrowthRateOfGDP "%2 is %n a real growth rate of GDP of %1") | domainEnglishFormat.kif 2105-2105 | |
(termFormat ChineseLanguage realGrowthRateOfGDP "GDP的实际增长率") | domainEnglishFormat.kif 48902-48902 | |
(termFormat ChineseTraditionalLanguage realGrowthRateOfGDP "GDP的實際增長率") | domainEnglishFormat.kif 48901-48901 | |
(termFormat EnglishLanguage realGrowthRateOfGDP "real growth rate of GDP") | domainEnglishFormat.kif 48900-48900 |
consequent |
(<=> (realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (realGrowthRateOfGDP ?AREA ?RATE))))) |
Economy.kif 1007-1012 | 地缘政治区域 是 对于 %3 在周期 %2 的 real GDP 的成长速率 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 实数 是 那个 地缘政治区域 的 real GDP 成长速率 在 那个 时间位置 holdsDuring |