Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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