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

Formal Language: 



KB Term:  Term intersection
English Word: 

  realGrowthRateOfGDP

Sigma KEE - realGrowthRateOfGDP
realGrowthRateOfGDP

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


(documentation realGrowthRateOfGDP EnglishLanguage "(realGrowthRateOfGDP ?AREA ?RATE) means that the annual rate of growth in the Gross Domestic Product (GDP) for the GeopoliticalArea ?AREA is the fraction ?RATE, adjusted for inflation, with GDP calculated on a purchasing power parity basis. See PPPBasedEconomicValuation.") Economy.kif 1001-1005
(domain realGrowthRateOfGDP 1 GeopoliticalArea) Economy.kif 998-998 The number 1 argument of real growth rate of GDP is an instance of geopolitical area
(domain realGrowthRateOfGDP 2 RealNumber) Economy.kif 999-999 The number 2 argument of real growth rate of GDP is an instance of real number
(instance realGrowthRateOfGDP BinaryPredicate) Economy.kif 997-997 real growth rate of GDP is an instance of binary predicate
(instance realGrowthRateOfGDP PPPBasedEconomicValuation) Economy.kif 996-996 real growth rate of GDP is an instance of PPP based economic valuation

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


(format ChineseLanguage realGrowthRateOfGDP "%2 %n 是 %1 的 real GDP 成长速率") domainEnglishFormat.kif 2107-2107
(format ChineseTraditionalLanguage realGrowthRateOfGDP "%2 %n 是 %1 的 real GDP 成長速率") domainEnglishFormat.kif 2106-2106
(format EnglishLanguage realGrowthRateOfGDP "%2 is %n a real growth rate of GDP of %1") domainEnglishFormat.kif 2105-2105
(termFormat ChineseLanguage realGrowthRateOfGDP "GDP的实际增长率") domainEnglishFormat.kif 48902-48902
(termFormat ChineseTraditionalLanguage realGrowthRateOfGDP "GDP的實際增長率") domainEnglishFormat.kif 48901-48901
(termFormat EnglishLanguage realGrowthRateOfGDP "real growth rate of GDP") domainEnglishFormat.kif 48900-48900

consequent
-------------------------


(<=>
    (realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (realGrowthRateOfGDP ?AREA ?RATE)))))
Economy.kif 1007-1012 A geopolitical area is real growth rate of GDP in period a real number for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the real number is a real growth rate of GDP of the geopolitical area holds during the time position


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