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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 997-1001
(domain realGrowthRateOfGDP 1 GeopoliticalArea) Economy.kif 994-994 The number 1 argument of real growth rate ofGD p is an instance of geopolitical area
(domain realGrowthRateOfGDP 2 RealNumber) Economy.kif 995-995 The number 2 argument of real growth rate ofGD p is an instance of real number
(instance realGrowthRateOfGDP BinaryPredicate) Economy.kif 993-993 real growth rate ofGD p is an instance of binary predicate
(instance realGrowthRateOfGDP PPPBasedEconomicValuation) Economy.kif 992-992 real growth rate ofGD p is an instance of PPP based economic valuation

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


(format EnglishLanguage realGrowthRateOfGDP "%2 is %n a real growth rate ofGD p of %1") domainEnglishFormat.kif 535-535
(termFormat EnglishLanguage realGrowthRateOfGDP "real growth rate ofGD p") domainEnglishFormat.kif 8574-8574 "real growth rate ofGD p" is the printable form of real growth rate ofGD p in english language

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


(<=>
    (realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (realGrowthRateOfGDP ?AREA ?RATE)))))
Economy.kif 1003-1008 A geopolitical area real growth rate ofGDP 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 ofGD p of the geopolitical area holds during the time position


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners