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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UpperMiddleIncomeCountry
UpperMiddleIncomeCountry

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 UpperMiddleIncomeCountryWorldBankGNIPerCapitaLevelinstance では %n
(successorAttribute UpperMiddleIncomeCountry HighIncomeCountry) Economy.kif 428-428 UpperMiddleIncomeCountryHighIncomeCountry の immediate successor attribute では %n

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


(successorAttribute LowerMiddleIncomeCountry UpperMiddleIncomeCountry) Economy.kif 427-427 LowerMiddleIncomeCountryUpperMiddleIncomeCountry の immediate successor attribute では %n
(termFormat ChineseLanguage UpperMiddleIncomeCountry "中上收入国家") domainEnglishFormat.kif 60638-60638
(termFormat ChineseTraditionalLanguage UpperMiddleIncomeCountry "中上收入國家") domainEnglishFormat.kif 60637-60637
(termFormat EnglishLanguage UpperMiddleIncomeCountry "upper middle income country") domainEnglishFormat.kif 60636-60636

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