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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LowerMiddleIncomeCountry

Sigma KEE - LowerMiddleIncomeCountry
LowerMiddleIncomeCountry

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 LowerMiddleIncomeCountryWorldBankGNIPerCapitaLevelinstance では %n
(successorAttribute LowerMiddleIncomeCountry UpperMiddleIncomeCountry) Economy.kif 427-427 LowerMiddleIncomeCountryUpperMiddleIncomeCountry の immediate successor attribute では %n

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


(successorAttribute LowIncomeCountry LowerMiddleIncomeCountry) Economy.kif 426-426 LowIncomeCountryLowerMiddleIncomeCountry の immediate successor attribute では %n
(termFormat ChineseLanguage LowerMiddleIncomeCountry "中低收入国家") domainEnglishFormat.kif 35135-35135
(termFormat ChineseTraditionalLanguage LowerMiddleIncomeCountry "中低收入國家") domainEnglishFormat.kif 35134-35134
(termFormat EnglishLanguage LowerMiddleIncomeCountry "lower middle income country") domainEnglishFormat.kif 35133-35133

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 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 3.0 is open source software produced by Articulate Software and its partners