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
perCapitaGDPInPeriod
Sigma KEE - perCapitaGDPInPeriod
perCapitaGDPInPeriod
appearance as argument number 1
(
documentation
perCapitaGDPInPeriod
EnglishLanguage
"(
perCapitaGDPInPeriod
?AREA ?AMOUNT ?PERIOD) means that the Gross Domestic Product, on a per capita basis, for the
GeopoliticalArea
?AREA is ?AMOUNT during the period indicated by ?PERIOD, calculated in U.S. dollars on a purchasing power parity basis. See
PPPBasedEconomicValuation
.")
Economy.kif 1025-1030
(
domain
perCapitaGDPInPeriod
1
GeopoliticalArea
)
Economy.kif 1021-1021
Die Zahl 1 Argument von
perCapitaGDPInPeriod
ist ein
fall
von
GeopoliticalArea
%n{nicht}
(
domain
perCapitaGDPInPeriod
2
CurrencyMeasure
)
Economy.kif 1022-1022
Die Zahl 2 Argument von
perCapitaGDPInPeriod
ist ein
fall
von
CurrencyMeasure
%n{nicht}
(
domain
perCapitaGDPInPeriod
3
TimeInterval
)
Economy.kif 1023-1023
Die Zahl 3 Argument von
perCapitaGDPInPeriod
ist ein
fall
von
TimeInterval
%n{nicht}
(
instance
perCapitaGDPInPeriod
PPPBasedEconomicValuation
)
Economy.kif 1019-1019
perCapitaGDPInPeriod
ist ein
fall
von
PPPBasedEconomicValuation
%n{nicht}
(
instance
perCapitaGDPInPeriod
TernaryPredicate
)
Economy.kif 1020-1020
perCapitaGDPInPeriod
ist ein
fall
von
TernaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
perCapitaGDPInPeriod
"%1 %n 是 对于 %3 在周期 %2 的 per 人头 GDP")
domainEnglishFormat.kif 1931-1931
(
format
ChineseTraditionalLanguage
perCapitaGDPInPeriod
"%1 %n 是 對於 %3 在週期 %2 的 per 人頭 GDP")
domainEnglishFormat.kif 1930-1930
(
format
EnglishLanguage
perCapitaGDPInPeriod
"%1 is %n per capitaGDP in period %2 for %3")
domainEnglishFormat.kif 1929-1929
(
termFormat
ChineseLanguage
perCapitaGDPInPeriod
"人均国内生产总值")
domainEnglishFormat.kif 45090-45090
(
termFormat
ChineseTraditionalLanguage
perCapitaGDPInPeriod
"人均國內生產總值")
domainEnglishFormat.kif 45089-45089
(
termFormat
EnglishLanguage
perCapitaGDPInPeriod
"per capitaGDP in period")
domainEnglishFormat.kif 45088-45088
antecedent
(<=>
(
perCapitaGDPInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
perCapitaGDP
?AREA ?AMOUNT)))))
Economy.kif 1042-1047
perCapitaGDPInPeriod
GeopoliticalArea
,
CurrencyMeasure
and
TimeInterval
genau dann wenn es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** TimeInterval
%n{nicht} und
perCapitaGDP
** GeopoliticalArea
and
** CurrencyMeasure
haelt
waehrend
** TimePosition
%n{nicht}
consequent
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
LowIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
lessThan
?AMOUNT 756.0))))
Economy.kif 440-447
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
economyType
GeopoliticalArea
and
LowIncomeCountry
haelt
waehrend
** TimeInterval
%n{nicht},
dann es gibt
RealNumber
um
perCapitaGDPInPeriod
** GeopoliticalArea
,
** RealNumber
UnitedStatesDollar
(s) and
** TimeInterval
und
** RealNumber
ist
kleinerAls
756.0 %n{nicht}
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
LowerMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
greaterThanOrEqualTo
?AMOUNT 756.0))))
Economy.kif 456-463
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
economyType
GeopoliticalArea
and
LowerMiddleIncomeCountry
haelt
waehrend
** TimeInterval
%n{nicht},
dann es gibt
RealNumber
um
perCapitaGDPInPeriod
** GeopoliticalArea
,
** RealNumber
UnitedStatesDollar
(s) and
** TimeInterval
und
** RealNumber
ist
groesserAlsOderGleich
756.0 %n{nicht}
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
LowerMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
lessThan
?AMOUNT 2996.0))))
Economy.kif 465-472
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
economyType
GeopoliticalArea
and
LowerMiddleIncomeCountry
haelt
waehrend
** TimeInterval
%n{nicht},
dann es gibt
RealNumber
um
perCapitaGDPInPeriod
** GeopoliticalArea
,
** RealNumber
UnitedStatesDollar
(s) and
** TimeInterval
und
** RealNumber
ist
kleinerAls
2996.0 %n{nicht}
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
UpperMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
greaterThanOrEqualTo
?AMOUNT 2996.0))))
Economy.kif 481-488
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
economyType
GeopoliticalArea
and
UpperMiddleIncomeCountry
haelt
waehrend
** TimeInterval
%n{nicht},
dann es gibt
RealNumber
um
perCapitaGDPInPeriod
** GeopoliticalArea
,
** RealNumber
UnitedStatesDollar
(s) and
** TimeInterval
und
** RealNumber
ist
groesserAlsOderGleich
2996.0 %n{nicht}
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
UpperMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
lessThan
?AMOUNT 9267.0))))
Economy.kif 490-497
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
economyType
GeopoliticalArea
and
UpperMiddleIncomeCountry
haelt
waehrend
** TimeInterval
%n{nicht},
dann es gibt
RealNumber
um
perCapitaGDPInPeriod
** GeopoliticalArea
,
** RealNumber
UnitedStatesDollar
(s) and
** TimeInterval
und
** RealNumber
ist
kleinerAls
9267.0 %n{nicht}
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