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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DevelopedCountry
DevelopedCountry(developed country)
developed_country

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 "http://upload.wikimedia.org/wikipedia/commons/a/af/ World_Bank_income_groups.png" is a URL depicting developed country
(externalImage DevelopedCountry "http://upload.wikimedia.org/wikipedia/en/ 7/ 78/ Developed_nation.png") pictureList.kif 6381-6381 "http://upload.wikimedia.org/wikipedia/en/7/78/Developed_nation.png" is a URL depicting developed country
(instance DevelopedCountry UNEconomicDevelopmentLevel) Economy.kif 126-126 Developed country is an instance of UN economic development level

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


(conventionalLongName "Developed Country" DevelopedCountry) Economy.kif 128-128 Developed country is a conventional long name of "Developed Country"
(conventionalShortName "the North" DevelopedCountry) Economy.kif 130-130 Developed country is a conventional short name of "the North"
(economyType Andorra DevelopedCountry) Economy.kif 146-146 Developed country is an economy type of andorra
(economyType Australia DevelopedCountry) Economy.kif 147-147 Developed country is an economy type of australia
(economyType Austria DevelopedCountry) Economy.kif 148-148 Developed country is an economy type of austria
(economyType Belgium DevelopedCountry) Economy.kif 149-149 Developed country is an economy type of belgium
(economyType Bermuda DevelopedCountry) Economy.kif 150-150 Developed country is an economy type of bermuda
(economyType Canada DevelopedCountry) Economy.kif 151-151 Developed country is an economy type of canada
(economyType Denmark DevelopedCountry) Economy.kif 152-152 Developed country is an economy type of denmark
(economyType FaroeIslands DevelopedCountry) Economy.kif 153-153 Developed country is an economy type of faroe islands
(economyType Finland DevelopedCountry) Economy.kif 154-154 Developed country is an economy type of finland
(economyType France DevelopedCountry) Economy.kif 155-155 Developed country is an economy type of france
(economyType Germany DevelopedCountry) Economy.kif 156-156 Developed country is an economy type of germany
(economyType Greece DevelopedCountry) Economy.kif 157-157 Developed country is an economy type of greece
(economyType HolySee DevelopedCountry) Economy.kif 158-158 Developed country is an economy type of holy see
(economyType Iceland DevelopedCountry) Economy.kif 159-159 Developed country is an economy type of iceland
(economyType Ireland DevelopedCountry) Economy.kif 160-160 Developed country is an economy type of ireland
(economyType Israel DevelopedCountry) Economy.kif 161-161 Developed country is an economy type of israel
(economyType Italy DevelopedCountry) Economy.kif 162-162 Developed country is an economy type of italy
(economyType Japan DevelopedCountry) Economy.kif 163-163 Developed country is an economy type of japan
(economyType Liechtenstein DevelopedCountry) Economy.kif 164-164 Developed country is an economy type of liechtenstein
(economyType Luxembourg DevelopedCountry) Economy.kif 165-165 Developed country is an economy type of luxembourg
(economyType Malta DevelopedCountry) Economy.kif 166-166 Developed country is an economy type of malta
(economyType Mexico DevelopedCountry) Economy.kif 167-167 Developed country is an economy type of mexico
(economyType Monaco DevelopedCountry) Economy.kif 168-168 Developed country is an economy type of monaco

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 35 is a cardinality of the class corresponding to developed country


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners