totalGDPInPeriod |
appearance as argument number 1 |
(documentation totalGDPInPeriod EnglishLanguage "(totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD) means that the value of all final goods and services produced within the GeopoliticalArea ?AREA is ?AMOUNT in the period indicated by ?PERIOD, measured in U.S. dollars calculated on a purchasing power parity basis. (See PPPBasedEconomicValuation.) This is the Gross Domestic Product for ?AREA for a specified period.") | Economy.kif 940-945 | |
(domain totalGDPInPeriod 1 GeopoliticalArea) | Economy.kif 936-936 | totalGDPInPeriod の数値 1 引数は 地政学的地域 の instance では %n |
(domain totalGDPInPeriod 2 CurrencyMeasure) | Economy.kif 937-937 | totalGDPInPeriod の数値 2 引数は 通貨測定 の instance では %n |
(domainSubclass totalGDPInPeriod 3 TimeInterval) | Economy.kif 938-938 | totalGDPInPeriod の数値 3 引数は 時間間隔 のsubclass では %n |
(instance totalGDPInPeriod PPPBasedEconomicValuation) | Economy.kif 934-934 | totalGDPInPeriod は PPPBasedEconomicValuation の instance では %n |
(instance totalGDPInPeriod TernaryPredicate) | Economy.kif 935-935 | totalGDPInPeriod は 3進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage totalGDPInPeriod "%1 %n 是 对于 %3 在 周期 %2 的 totalGDP ") | domainEnglishFormat.kif 2499-2499 | |
(format ChineseTraditionalLanguage totalGDPInPeriod "%1 %n 是 對於 %3 在 週期 %2 的 totalGDP ") | domainEnglishFormat.kif 2498-2498 | |
(format EnglishLanguage totalGDPInPeriod "%1 is %n totalGDP in period %2 for %3") | domainEnglishFormat.kif 2497-2497 | |
(termFormat ChineseLanguage totalGDPInPeriod "期间的国内生产GDP总值") | domainEnglishFormat.kif 58562-58562 | |
(termFormat ChineseTraditionalLanguage totalGDPInPeriod "期間的國內生產GDP總值") | domainEnglishFormat.kif 58561-58561 | |
(termFormat EnglishLanguage totalGDPInPeriod "totalGDP in period") | domainEnglishFormat.kif 58560-58560 |
antecedent |
(<=> (totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (totalGDP ?AREA ?AMOUNT))))) |
Economy.kif 958-963 | totalGDPInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n totalGDP 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない} |
(=> (and (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) (totalGDPInPeriod ?AREA (MeasureFn ?GDPAMOUNT ?CUNIT) ?PERIOD) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?GDPAMOUNT))) (sectorValueOfGDPInPeriod ?AREA ?SECTOR (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)) |
Economy.kif 1107-1115 |
|