Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
industrialProductionGrowthRateInPeriod
Sigma KEE - industrialProductionGrowthRateInPeriod
industrialProductionGrowthRateInPeriod
appearance as argument number 1
(
documentation
industrialProductionGrowthRateInPeriod
EnglishLanguage
"(
industrialProductionGrowthRateInPeriod
?AREA ?RATE ?PERIOD) means that in the
GeopoliticalArea
?AREA, the annual percentage increase in industrial production is ?RATE, for the
TimeInterval
?PERIOD.")
Economy.kif 1935-1938
(
domain
industrialProductionGrowthRateInPeriod
1
GeopoliticalArea
)
Economy.kif 1931-1931
The number 1 argument of
industrial production growth rate in period
is an
instance
of
geopolitical area
(
domain
industrialProductionGrowthRateInPeriod
2
RealNumber
)
Economy.kif 1932-1932
The number 2 argument of
industrial production growth rate in period
is an
instance
of
real number
(
domainSubclass
industrialProductionGrowthRateInPeriod
3
TimeInterval
)
Economy.kif 1933-1933
The number 3 argument of
industrial production growth rate in period
is a
subclass
of
time interval
(
instance
industrialProductionGrowthRateInPeriod
TernaryPredicate
)
Economy.kif 1930-1930
industrial production growth rate in period
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
industrialProductionGrowthRateInPeriod
"%1 %n 是 对于 %3 在周期 %2 的 industrial 生产成率")
domainEnglishFormat.kif 1313-1313
(
format
ChineseTraditionalLanguage
industrialProductionGrowthRateInPeriod
"%1 %n 是 對於 %3 在週期 %2 的 industrial 生產成率")
domainEnglishFormat.kif 1312-1312
(
format
EnglishLanguage
industrialProductionGrowthRateInPeriod
"%1 is %n industrial production growth rate in period %2 for %3")
domainEnglishFormat.kif 1311-1311
(
termFormat
ChineseLanguage
industrialProductionGrowthRateInPeriod
"工业生产增长期")
domainEnglishFormat.kif 29851-29851
(
termFormat
ChineseTraditionalLanguage
industrialProductionGrowthRateInPeriod
"工業生產增長期")
domainEnglishFormat.kif 29850-29850
(
termFormat
EnglishLanguage
industrialProductionGrowthRateInPeriod
"industrial production growth rate in period")
domainEnglishFormat.kif 29849-29849
antecedent
(<=>
(
industrialProductionGrowthRateInPeriod
?AREA ?RATE ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
industrialProductionGrowthRate
?AREA ?RATE)))))
Economy.kif 1949-1954
A geopolitical area
is
industrial
production growth rate 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 an
industrial
production growth rate 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