Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GreekLanguage
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
de
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 9971001
(
domain
realGrowthRateOfGDP
1
GeopoliticalArea
)
Economy.kif 994994
The number 1 argument of
real growth rate ofGD p
is an
instance
of
geopolitical area
(
domain
realGrowthRateOfGDP
2
RealNumber
)
Economy.kif 995995
The number 2 argument of
real growth rate ofGD p
is an
instance
of
real number
(
instance
realGrowthRateOfGDP
BinaryPredicate
)
Economy.kif 993993
real growth rate ofGD p
is an
instance
of
binary predicate
(
instance
realGrowthRateOfGDP
PPPBasedEconomicValuation
)
Economy.kif 992992
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 535535
(
termFormat
EnglishLanguage
realGrowthRateOfGDP
"real growth rate ofGD p")
domainEnglishFormat.kif 85748574
"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 10031008
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