![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| realGrowthRateOfGDPInPeriod |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (format EnglishLanguage realGrowthRateOfGDPInPeriod "%1 is %n real growth rate of GDP in period %2 for %3") | domainEnglishFormat.kif 2113-2113 | |
| (format ChineseTraditionalLanguage realGrowthRateOfGDPInPeriod "%1 %n 是 對於 %3 在週期 %2 的 real GDP 的成長速率") | domainEnglishFormat.kif 2114-2114 | |
| (format ChineseLanguage realGrowthRateOfGDPInPeriod "%1 %n 是 对于 %3 在周期 %2 的 real GDP 的成长速率") | domainEnglishFormat.kif 2115-2115 | |
| (termFormat EnglishLanguage realGrowthRateOfGDPInPeriod "real growth rate of GDP in period") | domainEnglishFormat.kif 48903-48903 | |
| (termFormat ChineseTraditionalLanguage realGrowthRateOfGDPInPeriod "期間實際GDP增長率") | domainEnglishFormat.kif 48904-48904 | |
| (termFormat ChineseLanguage realGrowthRateOfGDPInPeriod "期间实际GDP增长率") | domainEnglishFormat.kif 48905-48905 |
| antecedent |
|
|
| (<=> (realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (realGrowthRateOfGDP ?AREA ?RATE))))) |
Economy.kif 1096-1101 | X is real growth rate of GDP in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is a real growth rate of GDP of X holds during W |