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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LowerMiddleIncomeCountry
LowerMiddleIncomeCountry(lower middle income country)

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


(documentation LowerMiddleIncomeCountry EnglishLanguage "LowerMiddleIncomeCountry is an Attribute representing the World Bank classification for any country where the per capita GNI is between $756 and $2,995 (inclusive) in UnitedStatesDollars.") Economy.kif 451-454
(instance LowerMiddleIncomeCountry WorldBankGNIPerCapitaLevel) Economy.kif 449-449 Lower middle income country is an instance of world bankGNI per capita level
(successorAttribute LowerMiddleIncomeCountry UpperMiddleIncomeCountry) Economy.kif 427-427 Lower middle income country is an immediate successor attribute of upper middle income country

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


(successorAttribute LowIncomeCountry LowerMiddleIncomeCountry) Economy.kif 426-426 Low income country is an immediate successor attribute of lower middle income country
(termFormat ChineseLanguage LowerMiddleIncomeCountry "中低收入国家") domainEnglishFormat.kif 35169-35169 Low income country is an immediate successor attribute of lower middle income country
(termFormat ChineseTraditionalLanguage LowerMiddleIncomeCountry "中低收入國家") domainEnglishFormat.kif 35168-35168 Low income country is an immediate successor attribute of lower middle income country
(termFormat EnglishLanguage LowerMiddleIncomeCountry "lower middle income country") domainEnglishFormat.kif 35167-35167 Low income country is an immediate successor attribute of lower middle income country

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


(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (greaterThanOrEqualTo ?AMOUNT 756.0))))
Economy.kif 456-463
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (lessThan ?AMOUNT 2996.0))))
Economy.kif 465-472


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