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
currencyType
Sigma KEE - currencyType
currencyType
appearance as argument number 1
(
documentation
currencyType
EnglishLanguage
"(
currencyType
?AREA ?UNIT) means that the official currency used in the
GeopoliticalArea
?AREA is the
UnitOfMeasure
?UNIT.")
Economy.kif 2877-2879
(
domain
currencyType
1
GeopoliticalArea
)
Economy.kif 2872-2872
货币类型
的 1 数量 是
地缘政治区域
的
instance
(
domain
currencyType
2
UnitOfCurrency
)
Economy.kif 2873-2873
货币类型
的 2 数量 是
UnitOfCurrency
的
instance
(
instance
currencyType
BinaryPredicate
)
Economy.kif 2871-2871
货币类型
是
二元谓语
的
instance
(
instance
currencyType
SingleValuedRelation
)
Economy.kif 2875-2875
货币类型
是
单值关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
currencyType
"%2 %n 是 %1 的 currency 类别")
domainEnglishFormat.kif 612-612
(
format
ChineseTraditionalLanguage
currencyType
"%2 %n 是 %1 的 currency 類別")
domainEnglishFormat.kif 611-611
(
format
EnglishLanguage
currencyType
"%2 is %n a currency type of %1")
domainEnglishFormat.kif 610-610
(
termFormat
ChineseLanguage
currencyType
"货币类型")
domainEnglishFormat.kif 18096-18096
(
termFormat
ChineseTraditionalLanguage
currencyType
"貨幣類型")
domainEnglishFormat.kif 18095-18095
(
termFormat
EnglishLanguage
currencyType
"currency type")
domainEnglishFormat.kif 18094-18094
antecedent
(=>
(
and
(
instance
?AREA
Nation
)
(
currencyType
?AREA
EuroDollar
))
(
member
?AREA
EuropeanMonetaryUnion
))
Government.kif 3229-3233
如果
地缘政治区域
是
国家
的
instance
和
欧元
是
那个 地缘政治区域
的
currency
类别,
然后
那个 地缘政治区域
是
欧洲货币联盟
的
member
consequent
(=>
(
and
(
codeMapping
ISO-4217-A
?A3 ?CURRENCY)
(
codeMapping
ISO-3166-1-alpha-2
?A2 ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
equal
?A2
(
SubstringFn
?A3 0 2)))
(
currencyType
?AREA ?CURRENCY))
Media.kif 2889-2895
如果
符号串
在
ISO-4217-A
denotes
UnitOfCurrency
和
另一个 符号串
在
ISO-3166-1-alpha-2
denotes
地缘政治区域
和
那个 地缘政治区域
是
地缘政治区域
的
instance
和
那个 另外 符号串
equal
那个 符号串
的
sub
-string 从 0 对于 2 ,
然后
那个 UnitOfCurrency
是
那个 地缘政治区域
的
currency
类别
(=>
(
and
(
instance
?AREA
Nation
)
(
member
?AREA
EuropeanMonetaryUnion
))
(
currencyType
?AREA
EuroDollar
))
Government.kif 3223-3227
如果
地缘政治区域
是
国家
的
instance
和
那个 地缘政治区域
是
欧洲货币联盟
的
member
,
然后
欧元
是
那个 地缘政治区域
的
currency
类别
appearance as argument number 0
(
currencyType
Afghanistan
AfghanAfghani
)
Economy.kif 2884-2884
阿富汗阿富汗尼
是
阿富汗
的
currency
类别
(
currencyType
Albania
AlbanianLek
)
Economy.kif 2945-2945
阿尔巴尼亚列克
是
阿尔巴尼亚
的
currency
类别
(
currencyType
Algeria
AlgerianDinar
)
Economy.kif 2949-2949
阿尔及利亚第纳尔
是
阿尔及利亚
的
currency
类别
(
currencyType
Angola
AngolanKwanza
)
Economy.kif 2953-2953
安哥拉宽扎
是
安哥拉
的
currency
类别
(
currencyType
Argentina
ArgentineAustral
)
Economy.kif 2957-2957
阿根廷南部
是
阿根廷
的
currency
类别
(
currencyType
Armenia
ArmenianDram
)
Economy.kif 2961-2961
亚美尼亚德拉姆
是
亚美尼亚
的
currency
类别
(
currencyType
Australia
AustralianDollar
)
Economy.kif 2965-2965
澳元
是
澳大利亚
的
currency
类别
(
currencyType
Austria
EuroDollar
)
Economy.kif 2969-2969
欧元
是
奥地利
的
currency
类别
(
currencyType
Azerbaijan
AzerbaijaniManat
)
Economy.kif 2973-2973
阿塞拜疆马纳特
是
阿塞拜疆
的
currency
类别
(
currencyType
Bahrain
BahrainianDinar
)
Economy.kif 2981-2981
Bahraini第纳尔
是
巴林
的
currency
类别
(
currencyType
Bangladesh
BangladeshiTaka
)
Economy.kif 2985-2985
孟加拉国塔卡
是
孟加拉国
的
currency
类别
(
currencyType
Barbados
BarbadosDollar
)
Economy.kif 2989-2989
巴巴多斯元
是
巴巴多斯
的
currency
类别
(
currencyType
Belarus
BelarusianRubel
)
Economy.kif 2993-2993
白俄罗斯语rubel
是
白俄罗斯
的
currency
类别
(
currencyType
Belgium
EuroDollar
)
Economy.kif 2997-2997
欧元
是
比利时
的
currency
类别
(
currencyType
Belize
BelizeDollar
)
Economy.kif 3001-3001
伯利兹美元
是
伯利兹
的
currency
类别
(
currencyType
Benin
BeninFranc
)
Economy.kif 3005-3005
贝宁法郎
是
贝宁
的
currency
类别
(
currencyType
Bermuda
BermudaDollar
)
Economy.kif 3009-3009
百慕大元
是
百慕大
的
currency
类别
(
currencyType
Bhutan
BhutaneseNgultrum
)
Economy.kif 3013-3013
不丹ngultrum
是
不丹
的
currency
类别
(
currencyType
Bolivia
BolivianBoliviano
)
Economy.kif 3017-3017
玻利维亚玻利维亚诺
是
玻利维亚
的
currency
类别
(
currencyType
Botswana
BotswanaPula
)
Economy.kif 3021-3021
博茨瓦纳普拉
是
博茨瓦纳
的
currency
类别
(
currencyType
Brazil
BrazilianReal
)
Economy.kif 3025-3025
巴西真实
是
巴西
的
currency
类别
(
currencyType
Brunei
BruneiDollar
)
Economy.kif 3029-3029
文莱美元
是
文莱
的
currency
类别
(
currencyType
Bulgaria
BulgarianLev
)
Economy.kif 3033-3033
保加利亚列弗
是
保加利亚
的
currency
类别
(
currencyType
BurkinaFaso
BurkinaFasoFranc
)
Economy.kif 3037-3037
布基纳法索法郎
是
布基纳法索
的
currency
类别
(
currencyType
Burundi
BurundiFranc
)
Economy.kif 3041-3041
布隆迪法郎
是
布隆迪
的
currency
类别
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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