Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  HighIncomeCountry
|
|
|
| appearance as argument number 1 |
|
|
| (instance HighIncomeCountry WorldBankGNIPerCapitaLevel) | Economy.kif 499-499 | High income country is an instance of world bankGNI per capita level |
| (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 | 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 EnglishLanguage HighIncomeCountry "high income country") | domainEnglishFormat.kif 28121-28121 | Upper middle income country is an immediate successor attribute of high income country |
| (termFormat ChineseTraditionalLanguage HighIncomeCountry "高收入國家") | domainEnglishFormat.kif 28122-28122 | Upper middle income country is an immediate successor attribute of high income country |
| (termFormat ChineseLanguage HighIncomeCountry "高收入国家") | domainEnglishFormat.kif 28123-28123 | 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 | If high income country is an attribute of X and X is not a member of organization of petroleum exporting countries, then developed country is an economy type of X |
|