| 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 | 发达经济 是 IMF发展水平 的 instance |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners