Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CountryInTransition(country in transition) |
| appearance as argument number 1 |
|
| (successorAttribute CountryInTransition AdvancedEconomy) | Economy.kif 517-517 | Country in transition is an immediate successor attribute of advanced economy |
| (instance CountryInTransition IMFDevelopmentLevel) | Economy.kif 564-564 | Country in transition is an instance of IMF development level |
| (documentation CountryInTransition EnglishLanguage "CountryInTransition is a term used by the InternationalMonetaryFund (IMF) to describe the middle group in its hierarchy of advanced countries, countries in transition, and developing countries. Most of the countries with this attribute are former USSR or Eastern European countries. Generally corresponds with FormerSovietOrEasternEuropeanCountry classification used by UnitedNations agencies.") | Economy.kif 566-572 | Country in transition is an instance of IMF development level |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?AREA FormerSovietOrEasternEuropeanCountry) (economyType ?AREA CountryInTransition)) |
Economy.kif 189-191 | If former soviet or eastern european country is an attribute of X, then country in transition is an economy type of X |
| (=> (attribute ?AREA PrivatizingEconomy) (economyType ?AREA CountryInTransition)) |
Economy.kif 931-933 | If privatizing economy is an attribute of X, then country in transition is an economy type of X |
|