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
WashingDevice
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
货币兑换perUS美元
的 1 数量 是
货币测量
的
instance
(
domainSubclass
currencyExchangePerUSDollar
2
TimeInterval
)
Economy.kif 3630-3630
货币兑换perUS美元
的 2 数量 是
时距
的
subclass
(
instance
currencyExchangePerUSDollar
BinaryPredicate
)
Economy.kif 3628-3628
货币兑换perUS美元
是
二元谓语
的
instance
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
有点 时距
是
货币测量
的
currency
交换 每美元 若且唯若
美国美元
对于
有点 时距
在周期
那个 货币测量
的
currency
交换汇率
(<=>
(
currencyExchangePerUSDollar
?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
UnitedStatesDollar
?AMOUNT)))))
Economy.kif 3661-3666
有点 时距
是
货币测量
的
currency
交换 每美元 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
美国美元
的
currency
交换汇率 在
那个 时间位置
holdsDuring
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