Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DevelopedCountry
DevelopedCountry

appearance as argument number 1
-------------------------


(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
(externalImage DevelopedCountry "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ World_Bank_income_groups.png") pictureList.kif 5961-5961
(externalImage DevelopedCountry "http://upload.wikimedia.org/wikipedia/en/ 7/ 78/ Developed_nation.png") pictureList.kif 6381-6381
(instance DevelopedCountry UNEconomicDevelopmentLevel) Economy.kif 126-126 instance DevelopedCountry and UNEconomicDevelopmentLevel

appearance as argument number 2
-------------------------


(conventionalLongName "Developed Country" DevelopedCountry) Economy.kif 128-128 conventionalLongName "Developed Country" and DevelopedCountry
(conventionalShortName "the North" DevelopedCountry) Economy.kif 130-130 conventionalShortName "the North" and DevelopedCountry
(economyType Andorra DevelopedCountry) Economy.kif 146-146 economyType Andorra and DevelopedCountry
(economyType Australia DevelopedCountry) Economy.kif 147-147 economyType Australia and DevelopedCountry
(economyType Austria DevelopedCountry) Economy.kif 148-148 economyType Austria and DevelopedCountry
(economyType Belgium DevelopedCountry) Economy.kif 149-149 economyType Belgium and DevelopedCountry
(economyType Bermuda DevelopedCountry) Economy.kif 150-150 economyType Bermuda and DevelopedCountry
(economyType Canada DevelopedCountry) Economy.kif 151-151 economyType Canada and DevelopedCountry
(economyType Denmark DevelopedCountry) Economy.kif 152-152 economyType Denmark and DevelopedCountry
(economyType FaroeIslands DevelopedCountry) Economy.kif 153-153 economyType FaroeIslands and DevelopedCountry
(economyType Finland DevelopedCountry) Economy.kif 154-154 economyType Finland and DevelopedCountry
(economyType France DevelopedCountry) Economy.kif 155-155 economyType France and DevelopedCountry
(economyType Germany DevelopedCountry) Economy.kif 156-156 economyType Germany and DevelopedCountry
(economyType Greece DevelopedCountry) Economy.kif 157-157 economyType Greece and DevelopedCountry
(economyType HolySee DevelopedCountry) Economy.kif 158-158 economyType HolySee and DevelopedCountry
(economyType Iceland DevelopedCountry) Economy.kif 159-159 economyType Iceland and DevelopedCountry
(economyType Ireland DevelopedCountry) Economy.kif 160-160 economyType Ireland and DevelopedCountry
(economyType Israel DevelopedCountry) Economy.kif 161-161 economyType Israel and DevelopedCountry
(economyType Italy DevelopedCountry) Economy.kif 162-162 economyType Italy and DevelopedCountry
(economyType Japan DevelopedCountry) Economy.kif 163-163 economyType Japan and DevelopedCountry
(economyType Liechtenstein DevelopedCountry) Economy.kif 164-164 economyType Liechtenstein and DevelopedCountry
(economyType Luxembourg DevelopedCountry) Economy.kif 165-165 economyType Luxembourg and DevelopedCountry
(economyType Malta DevelopedCountry) Economy.kif 166-166 economyType Malta and DevelopedCountry
(economyType Mexico DevelopedCountry) Economy.kif 167-167 economyType Mexico and DevelopedCountry
(economyType Monaco DevelopedCountry) Economy.kif 168-168 economyType Monaco and DevelopedCountry

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))
Economy.kif 501-505
(=>
    (attribute ?AREA MajorIndustrialEconomy)
    (economyType ?AREA DevelopedCountry))
Economy.kif 738-740

statement
-------------------------


(cardinality
    (ExtensionFn DevelopedCountry) 35)
Economy.kif 144-144 cardinality ExtensionFn DevelopedCountry and 35


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