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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HighIncomeCountry

Sigma KEE - HighIncomeCountry
HighIncomeCountry

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


(documentation HighIncomeCountry EnglishLanguage "HighIncomeCountry is an Attribute representing the World Bank classification for any country where the per capita GNI is equal to or greater than &9,266 in UnitedStatesDollars.") Economy.kif 496-499
(instance HighIncomeCountry WorldBankGNIPerCapitaLevel) Economy.kif 494-494 HighIncomeCountryWorldBankGNIPerCapitaLevelinstance

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


(successorAttribute UpperMiddleIncomeCountry HighIncomeCountry) Economy.kif 428-428 UpperMiddleIncomeCountryHighIncomeCountry 的直接后续属性
(termFormat EnglishLanguage HighIncomeCountry "high income country") domainEnglishFormat.kif 5104-5104 termFormat EnglishLanguage, HighIncomeCountry and "high income country"

antecedent
-------------------------


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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