Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  AdvancedEconomy
|
|
|
| appearance as argument number 1 |
|
|
| (instance AdvancedEconomy IMFDevelopmentLevel) | Economy.kif 527-527 | Advanced economy is an instance of IMF development level |
| (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 | Advanced economy is an instance of IMF development level |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?AREA FourDragonsEconomy) (economyType ?AREA AdvancedEconomy)) |
Economy.kif 388-390 | If four dragons economy is an attribute of X, then advanced economy is an economy type of X |
| (=> (attribute ?AREA MajorIndustrialEconomy) (economyType ?AREA AdvancedEconomy)) |
Economy.kif 747-749 | If major industrial economy is an attribute of X, then advanced economy is an economy type of X |
|