|
|
  AdvancedEconomy
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AdvancedEconomy EnglishLanguage "AdvancedEconomy is an Attribute used to represent the InternationalMonetaryFund's top category of development levels (AdvancedEconomy,, countries in transition, and developing countries. Generally (but not exactly) corresponds with DevelopedCountry classification used by UnitedNations agencies.") | Economy.kif 529-533 | |
| (instance AdvancedEconomy IMFDevelopmentLevel) | Economy.kif 527-527 |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?AREA FourDragonsEconomy) (economyType ?AREA AdvancedEconomy)) |
Economy.kif 388-390 | |
| (=> (attribute ?AREA MajorIndustrialEconomy) (economyType ?AREA AdvancedEconomy)) |
Economy.kif 747-749 |
|
|
|