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
The number 1 argument of
currency type
is an
instance
of
geopolitical area
(
domain
currencyType
2
UnitOfCurrency
)
Economy.kif 2873-2873
The number 2 argument of
currency type
is an
instance
of
unit of currency
(
instance
currencyType
BinaryPredicate
)
Economy.kif 2871-2871
currency type
is an
instance
of
binary predicate
(
instance
currencyType
SingleValuedRelation
)
Economy.kif 2875-2875
currency type
is an
instance
of
single valued relation
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
If
a geopolitical area
is an
instance
of
nation
and
euro dollar
is a
currency
type of
the geopolitical area
,
then
the geopolitical area
is a
member
of
european monetary union
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
If
a symbolic string
in
ISO-4217-A
denotes
an unit of currency
and
another symbolic string
in
ISO-3166-1-alpha-2
denotes
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
and
the other symbolic string
is
equal
to the
sub
-string of
the symbolic string
from 0 to 2,
then
the unit of currency
is a
currency
type of
the geopolitical area
(=>
(
and
(
instance
?AREA
Nation
)
(
member
?AREA
EuropeanMonetaryUnion
))
(
currencyType
?AREA
EuroDollar
))
Government.kif 3223-3227
If
a geopolitical area
is an
instance
of
nation
and
the geopolitical area
is a
member
of
european monetary union
,
then
euro dollar
is a
currency
type of
the geopolitical area
appearance as argument number 0
(
currencyType
Afghanistan
AfghanAfghani
)
Economy.kif 2884-2884
Afghan afghani
is a
currency
type of
afghanistan
(
currencyType
Albania
AlbanianLek
)
Economy.kif 2945-2945
Albanian lek
is a
currency
type of
albania
(
currencyType
Algeria
AlgerianDinar
)
Economy.kif 2949-2949
Algerian dinar
is a
currency
type of
algeria
(
currencyType
Angola
AngolanKwanza
)
Economy.kif 2953-2953
Angolan kwanza
is a
currency
type of
angola
(
currencyType
Argentina
ArgentineAustral
)
Economy.kif 2957-2957
Argentine austral
is a
currency
type of
argentina
(
currencyType
Armenia
ArmenianDram
)
Economy.kif 2961-2961
Armenian dram
is a
currency
type of
armenia
(
currencyType
Australia
AustralianDollar
)
Economy.kif 2965-2965
Australian dollar
is a
currency
type of
australia
(
currencyType
Austria
EuroDollar
)
Economy.kif 2969-2969
Euro dollar
is a
currency
type of
austria
(
currencyType
Azerbaijan
AzerbaijaniManat
)
Economy.kif 2973-2973
Azerbaijani manat
is a
currency
type of
azerbaijan
(
currencyType
Bahrain
BahrainianDinar
)
Economy.kif 2981-2981
Bahrainian dinar
is a
currency
type of
bahrain
(
currencyType
Bangladesh
BangladeshiTaka
)
Economy.kif 2985-2985
Bangladeshi taka
is a
currency
type of
bangladesh
(
currencyType
Barbados
BarbadosDollar
)
Economy.kif 2989-2989
Barbados dollar
is a
currency
type of
barbados
(
currencyType
Belarus
BelarusianRubel
)
Economy.kif 2993-2993
Belarusian rubel
is a
currency
type of
belarus
(
currencyType
Belgium
EuroDollar
)
Economy.kif 2997-2997
Euro dollar
is a
currency
type of
belgium
(
currencyType
Belize
BelizeDollar
)
Economy.kif 3001-3001
Belize dollar
is a
currency
type of
belize
(
currencyType
Benin
BeninFranc
)
Economy.kif 3005-3005
Benin franc
is a
currency
type of
benin
(
currencyType
Bermuda
BermudaDollar
)
Economy.kif 3009-3009
Bermuda dollar
is a
currency
type of
bermuda
(
currencyType
Bhutan
BhutaneseNgultrum
)
Economy.kif 3013-3013
Bhutanese ngultrum
is a
currency
type of
bhutan
(
currencyType
Bolivia
BolivianBoliviano
)
Economy.kif 3017-3017
Bolivian boliviano
is a
currency
type of
bolivia
(
currencyType
Botswana
BotswanaPula
)
Economy.kif 3021-3021
Botswana pula
is a
currency
type of
botswana
(
currencyType
Brazil
BrazilianReal
)
Economy.kif 3025-3025
Brazilian real
is a
currency
type of
brazil
(
currencyType
Brunei
BruneiDollar
)
Economy.kif 3029-3029
Brunei dollar
is a
currency
type of
brunei
(
currencyType
Bulgaria
BulgarianLev
)
Economy.kif 3033-3033
Bulgarian lev
is a
currency
type of
bulgaria
(
currencyType
BurkinaFaso
BurkinaFasoFranc
)
Economy.kif 3037-3037
Burkina faso franc
is a
currency
type of
burkina faso
(
currencyType
Burundi
BurundiFranc
)
Economy.kif 3041-3041
Burundi franc
is a
currency
type of
burundi
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