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
(
domainSubclass
currencyExchangePerUSDollar
2
TimeInterval
)
Economy.kif 3630-3630
(
instance
currencyExchangePerUSDollar
BinaryPredicate
)
Economy.kif 3628-3628
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
(<=>
(
currencyExchangePerUSDollar
?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
UnitedStatesDollar
?AMOUNT)))))
Economy.kif 3661-3666
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