Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| perCapitaGDP |
| appearance as argument number 1 |
|
| (instance perCapitaGDP PPPBasedEconomicValuation) | Economy.kif 1121-1121 | per capita GDP is an instance of PPP based economic valuation |
| (instance perCapitaGDP BinaryPredicate) | Economy.kif 1122-1122 | per capita GDP is an instance of binary predicate |
| (domain perCapitaGDP 1 GeopoliticalArea) | Economy.kif 1123-1123 | The number 1 argument of per capita GDP is an instance of geopolitical area |
| (domain perCapitaGDP 2 CurrencyMeasure) | Economy.kif 1124-1124 | The number 2 argument of per capita GDP is an instance of currency measure |
| (documentation perCapitaGDP EnglishLanguage "(perCapitaGDP ?AREA ?AMOUNT) means that the Gross Domestic Product, on a per capita basis, for the GeopoliticalArea ?AREA is ?AMOUNT, calculated in U.S. dollars on a purchasing power parity basis. See PPPBasedEconomicValuation.") | Economy.kif 1126-1129 | The number 2 argument of per capita GDP is an instance of currency measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage perCapitaGDP "%2 is %n a per capitaGDP of %1") | domainEnglishFormat.kif 1929-1929 | |
| (format ChineseTraditionalLanguage perCapitaGDP "%2 %n 是 %1 的 per 人頭 GDP") | domainEnglishFormat.kif 1930-1930 | |
| (format ChineseLanguage perCapitaGDP "%2 %n 是 %1 的 per 人头 GDP") | domainEnglishFormat.kif 1931-1931 | |
| (termFormat EnglishLanguage perCapitaGDP "per capita GDP") | domainEnglishFormat.kif 45077-45077 | |
| (termFormat ChineseTraditionalLanguage perCapitaGDP "人均GDP") | domainEnglishFormat.kif 45078-45078 | |
| (termFormat ChineseLanguage perCapitaGDP "人均GDp") | domainEnglishFormat.kif 45079-45079 |
| consequent |
|
|
| (<=> (perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (perCapitaGDP ?AREA ?AMOUNT))))) |
Economy.kif 1131-1136 | X is per capitaGDP in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is a per capitaGDP of X holds during W |
|