![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| realGrowthRateOfGDP |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (format EnglishLanguage realGrowthRateOfGDP "%2 is %n a real growth rate of GDP of %1") | domainEnglishFormat.kif 2109-2109 | |
| (format ChineseTraditionalLanguage realGrowthRateOfGDP "%2 %n 是 %1 的 real GDP 成長速率") | domainEnglishFormat.kif 2110-2110 | |
| (format ChineseLanguage realGrowthRateOfGDP "%2 %n 是 %1 的 real GDP 成长速率") | domainEnglishFormat.kif 2111-2111 | |
| (termFormat EnglishLanguage realGrowthRateOfGDP "real growth rate of GDP") | domainEnglishFormat.kif 48897-48897 | |
| (termFormat ChineseTraditionalLanguage realGrowthRateOfGDP "GDP的實際增長率") | domainEnglishFormat.kif 48898-48898 | |
| (termFormat ChineseLanguage realGrowthRateOfGDP "GDP的实际增长率") | domainEnglishFormat.kif 48899-48899 |
| consequent |
|
|
| (<=> (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 |