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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UpperMiddleIncomeCountry
UpperMiddleIncomeCountry(upper middle income country)

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


(documentation UpperMiddleIncomeCountry EnglishLanguage "UpperMiddleIncomeCountry is an Attribute representing the World Bank classification for any country where the per capita GNI is between $2,996 and $9,266 (inclusive) in UnitedStatesDollars.") Economy.kif 476-479
(instance UpperMiddleIncomeCountry WorldBankGNIPerCapitaLevel) Economy.kif 474-474 Upper middle income country is an instance of world bankGNI per capita level
(successorAttribute UpperMiddleIncomeCountry HighIncomeCountry) Economy.kif 428-428 Upper middle income country is an immediate successor attribute of high income country

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


(successorAttribute LowerMiddleIncomeCountry UpperMiddleIncomeCountry) Economy.kif 427-427 Lower middle income country is an immediate successor attribute of upper middle income country
(termFormat ChineseLanguage UpperMiddleIncomeCountry "中上收入国家") domainEnglishFormat.kif 60686-60686 Lower middle income country is an immediate successor attribute of upper middle income country
(termFormat ChineseTraditionalLanguage UpperMiddleIncomeCountry "中上收入國家") domainEnglishFormat.kif 60685-60685 Lower middle income country is an immediate successor attribute of upper middle income country
(termFormat EnglishLanguage UpperMiddleIncomeCountry "upper middle income country") domainEnglishFormat.kif 60684-60684 Lower middle income country is an immediate successor attribute of upper middle income country

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


(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (greaterThanOrEqualTo ?AMOUNT 2996.0))))
Economy.kif 481-488
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (lessThan ?AMOUNT 9267.0))))
Economy.kif 490-497


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