Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| totalGDP |
| appearance as argument number 1 |
|
| (instance totalGDP PPPBasedEconomicValuation) | Economy.kif 999-999 | totalGDP is an instance of PPP based economic valuation |
| (instance totalGDP BinaryPredicate) | Economy.kif 1000-1000 | totalGDP is an instance of binary predicate |
| (domain totalGDP 1 GeopoliticalArea) | Economy.kif 1001-1001 | The number 1 argument of totalGDP is an instance of geopolitical area |
| (domain totalGDP 2 CurrencyMeasure) | Economy.kif 1002-1002 | The number 2 argument of totalGDP is an instance of currency measure |
| (documentation totalGDP EnglishLanguage "(totalGDP ?AREA ?AMOUNT) means that the value of all final goods and services produced within the GeopoliticalArea ?AREA is ?AMOUNT, in U.S. dollars, calculated on a purchasing power parity basis. This represents Gross Domestic Product (GDP). See PPPBasedEconomicValuation.") | Economy.kif 1004-1008 | The number 2 argument of totalGDP is an instance of currency measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage totalGDP "%2 is %n a total GDP of %1") | domainEnglishFormat.kif 2497-2497 | |
| (format ChineseTraditionalLanguage totalGDP "%2 %n 是 %1 的 total GDP") | domainEnglishFormat.kif 2498-2498 | |
| (format ChineseLanguage totalGDP "%2 %n 是 %1 的 total GDP") | domainEnglishFormat.kif 2499-2499 | |
| (termFormat EnglishLanguage totalGDP "totalGDP") | domainEnglishFormat.kif 58555-58555 | |
| (termFormat ChineseTraditionalLanguage totalGDP "總GDP") | domainEnglishFormat.kif 58556-58556 | |
| (termFormat ChineseLanguage totalGDP "总GDP") | domainEnglishFormat.kif 58557-58557 |
| consequent |
|
|
| (<=> (totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (totalGDP ?AREA ?AMOUNT))))) |
Economy.kif 1010-1015 | X is totalGDP in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is a total GDP of X holds during W |
|