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
currencyExchangePerUSDollar
の数値 1 引数は
通貨測定
の
instance
では %n
(
domainSubclass
currencyExchangePerUSDollar
2
TimeInterval
)
Economy.kif 3630-3630
currencyExchangePerUSDollar
の数値 2 引数は
時間間隔
の
subclass
では %n
(
instance
currencyExchangePerUSDollar
BinaryPredicate
)
Economy.kif 3628-3628
currencyExchangePerUSDollar
は
2進述語
の
instance
では %n
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
通貨測定
and
時間間隔
currencyExchangeRateInPeriod
UnitedStatesDollar
,
通貨測定
and
時間間隔
(<=>
(
currencyExchangePerUSDollar
?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
UnitedStatesDollar
?AMOUNT)))))
Economy.kif 3661-3666
currencyExchangePerUSDollar
通貨測定
and
時間間隔
時間位置
時間位置
は
時間間隔
の
instance
では %n
currencyExchangeRate
UnitedStatesDollar
and
通貨測定
は
時間位置
の
during
holds %n{ない}
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