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
currencyExchangePerUSDollar
Sigma KEE - currencyExchangePerUSDollar
currencyExchangePerUSDollar
appearance as argument number 1
(
documentation
currencyExchangePerUSDollar
EnglishLanguage
"(
currencyExchangePerUSDollar
?AMOUNT ?PERIOD) means that one
UnitedStatesDollar
is worth ?AMOUNT (in a non-U.S.
CurrencyMeasure
), during the
TimeInterval
indicated by ?PERIOD. The rate of exchange may be based either on international market forces or official fiat.")
Economy.kif 3632-3636
(
domain
currencyExchangePerUSDollar
1
CurrencyMeasure
)
Economy.kif 3629-3629
The number 1 argument of
currency exchange perUS dollar
is an
instance
of
currency measure
(
domainSubclass
currencyExchangePerUSDollar
2
TimeInterval
)
Economy.kif 3630-3630
The number 2 argument of
currency exchange perUS dollar
is a
subclass
of
time interval
(
instance
currencyExchangePerUSDollar
BinaryPredicate
)
Economy.kif 3628-3628
currency exchange perUS dollar
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
currencyExchangePerUSDollar
"%2 %n 是 %1 的 currency 交换 每美元")
domainEnglishFormat.kif 596-596
(
format
ChineseTraditionalLanguage
currencyExchangePerUSDollar
"%2 %n 是 %1 的 currency 交換 每美元")
domainEnglishFormat.kif 595-595
(
format
EnglishLanguage
currencyExchangePerUSDollar
"%2 is %n a currency exchange per US dollar of %1")
domainEnglishFormat.kif 594-594
(
termFormat
ChineseLanguage
currencyExchangePerUSDollar
"货币兑换perUS美元")
domainEnglishFormat.kif 18072-18072
(
termFormat
ChineseTraditionalLanguage
currencyExchangePerUSDollar
"貨幣兌換perUS美元")
domainEnglishFormat.kif 18071-18071
(
termFormat
EnglishLanguage
currencyExchangePerUSDollar
"currency exchange perUS dollar")
domainEnglishFormat.kif 18070-18070
antecedent
(<=>
(
currencyExchangePerUSDollar
?AMOUNT ?PERIOD)
(
currencyExchangeRateInPeriod
UnitedStatesDollar
?AMOUNT ?PERIOD))
Economy.kif 3648-3650
A kind of time interval
is a
currency
exchange per US dollar of
a currency measure
if and only if
united states dollar
currency
exchange rate in period
the currency measure
for
a kind of time interval
(<=>
(
currencyExchangePerUSDollar
?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
UnitedStatesDollar
?AMOUNT)))))
Economy.kif 3661-3666
A kind of time interval
is a
currency
exchange per US dollar of
a currency measure
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 currency measure
is a
currency
exchange rate of
united states dollar
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