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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 LowerMiddleIncomeCountry est une instance de WorldBankGNIPerCapitaLevel
(successorAttribute LowerMiddleIncomeCountry UpperMiddleIncomeCountry) Economy.kif 427-427 LowerMiddleIncomeCountry est un attribut successeur imm�diat de UpperMiddleIncomeCountry

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


(successorAttribute LowIncomeCountry LowerMiddleIncomeCountry) Economy.kif 426-426 LowIncomeCountry est un attribut successeur imm�diat de LowerMiddleIncomeCountry
(termFormat ChineseLanguage LowerMiddleIncomeCountry "中低收入国家") domainEnglishFormat.kif 35146-35146 LowIncomeCountry est un attribut successeur imm�diat de LowerMiddleIncomeCountry
(termFormat ChineseTraditionalLanguage LowerMiddleIncomeCountry "中低收入國家") domainEnglishFormat.kif 35145-35145 LowIncomeCountry est un attribut successeur imm�diat de LowerMiddleIncomeCountry
(termFormat EnglishLanguage LowerMiddleIncomeCountry "lower middle income country") domainEnglishFormat.kif 35144-35144 LowIncomeCountry est un attribut successeur imm�diat de LowerMiddleIncomeCountry

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