Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
DevelopedCountry(developed country)
|
| appearance as argument number 1 |
|
| (instance DevelopedCountry UNEconomicDevelopmentLevel) | Economy.kif 126-126 | Developed country is an instance of UN economic development level |
| (documentation DevelopedCountry EnglishLanguage "DevelopedCountry (DC) is a term used to describe members of the top group in the UNEconomicDevelopmentLevels. DevelopedCountry includes market-oriented economies of mainly democratic nations, including members of the OrganizationForEconomicCooperationAndDevelopment (OECD). DCs are also known as First World countries, 'the North', and industrial countries. Developed countries generally have high incomes (high per capita GDP or GNI), but there are exceptions to DC membership both above and below that standard. There is significant overlap, but not perfect congruence, between the UN category DevelopedCountry and the IMF category AdvancedEconomy.") | Economy.kif 132-142 | Developed country is an instance of UN economic development level |
| (externalImage DevelopedCountry "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ World_Bank_income_groups.png") | pictureList.kif 5959-5959 | Developed country is an instance of UN economic development level |
| (externalImage DevelopedCountry "http://upload.wikimedia.org/wikipedia/en/ 7/ 78/ Developed_nation.png") | pictureList.kif 6379-6379 | Developed country is an instance of UN economic development level |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |
| (=> (attribute ?AREA MajorIndustrialEconomy) (economyType ?AREA DevelopedCountry)) |
Economy.kif 743-745 | If major industrial economy is an attribute of X, then developed country is an economy type of X |
| statement |
|
|
| (cardinality (ExtensionFn DevelopedCountry) 35) |
Economy.kif 144-144 | 35 is a cardinality of the class corresponding to developed country |
|