HighIncomeCountry(high income country) |
appearance as argument number 1 |
(documentation HighIncomeCountry EnglishLanguage "HighIncomeCountry is an Attribute representing the World Bank classification for any country where the per capita GNI is equal to or greater than &9,266 in UnitedStatesDollars.") | Economy.kif 501-504 | |
(instance HighIncomeCountry WorldBankGNIPerCapitaLevel) | Economy.kif 499-499 | High income country is an instance of world bankGNI per capita level |
appearance as argument number 2 |
(successorAttribute UpperMiddleIncomeCountry HighIncomeCountry) | Economy.kif 428-428 | Upper middle income country is an immediate successor attribute of high income country |
(termFormat ChineseLanguage HighIncomeCountry "高收入国家") | domainEnglishFormat.kif 28148-28148 | Upper middle income country is an immediate successor attribute of high income country |
(termFormat ChineseTraditionalLanguage HighIncomeCountry "高收入國家") | domainEnglishFormat.kif 28147-28147 | Upper middle income country is an immediate successor attribute of high income country |
(termFormat EnglishLanguage HighIncomeCountry "high income country") | domainEnglishFormat.kif 28146-28146 | Upper middle income country is an immediate successor attribute of high income country |
antecedent |
(=> (and (attribute ?AREA HighIncomeCountry) (not (member ?AREA OrganizationOfPetroleumExportingCountries))) (economyType ?AREA DevelopedCountry)) |
Economy.kif 506-510 |
|