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



KB Term:  Term intersection
English Word: 

  Entity

Sigma KEE - realGrowthRateOfGDP
realGrowthRateOfGDP

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


(instance realGrowthRateOfGDP PPPBasedEconomicValuation) Economy.kif 1085-1085 real growth rate of GDP is an instance of PPP based economic valuation
(instance realGrowthRateOfGDP BinaryPredicate) Economy.kif 1086-1086 real growth rate of GDP is an instance of binary predicate
(domain realGrowthRateOfGDP 1 GeopoliticalArea) Economy.kif 1087-1087 The number 1 argument of real growth rate of GDP is an instance of geopolitical area
(domain realGrowthRateOfGDP 2 RealNumber) Economy.kif 1088-1088 The number 2 argument of real growth rate of GDP is an instance of real number
(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 1090-1094 The number 2 argument of real growth rate of GDP is an instance of real number

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


(format EnglishLanguage realGrowthRateOfGDP "%2 is %n a real growth rate of GDP of %1") domainEnglishFormat.kif 2109-2109
(format ChineseTraditionalLanguage realGrowthRateOfGDP "%2 %n 是 %1 的 real GDP 成長速率") domainEnglishFormat.kif 2110-2110
(format ChineseLanguage realGrowthRateOfGDP "%2 %n 是 %1 的 real GDP 成长速率") domainEnglishFormat.kif 2111-2111
(termFormat EnglishLanguage realGrowthRateOfGDP "real growth rate of GDP") domainEnglishFormat.kif 48897-48897
(termFormat ChineseTraditionalLanguage realGrowthRateOfGDP "GDP的實際增長率") domainEnglishFormat.kif 48898-48898
(termFormat ChineseLanguage realGrowthRateOfGDP "GDP的实际增长率") domainEnglishFormat.kif 48899-48899

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


(<=>
    (realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (realGrowthRateOfGDP ?AREA ?RATE)))))
Economy.kif 1096-1101 X is real growth rate of GDP in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is a real growth rate of GDP of X holds during W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners