Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3214-3216
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3209-3209
The number 1 argument of
currency type
is an
instance
of
geopolitical area
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3210-3210
The number 2 argument of
currency type
is an
instance
of
unit of currency
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3208-3208
currency type
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3212-3212
currency type
is an
instance
of
single valued relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 612-612
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 611-611
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 610-610
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 18105-18105
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 18104-18104
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 18103-18103
antecedent
No TPTP formula. May not be expressible in strict first order.
Government.kif 3190-3194
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
No TPTP formula. May not be expressible in strict first order.
Media.kif 2891-2897
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
equal
the other symbolic string
and the
sub
-string of
the symbolic string
from 0 to 2,
then
the unit of currency
is a
currency
type of
the geopolitical area
No TPTP formula. May not be expressible in strict first order.
Government.kif 3184-3188
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
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3221-3221
Afghan afghani
is a
currency
type of
afghanistan
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3282-3282
Albanian lek
is a
currency
type of
albania
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3286-3286
Algerian dinar
is a
currency
type of
algeria
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3290-3290
Angolan kwanza
is a
currency
type of
angola
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3294-3294
Argentine austral
is a
currency
type of
argentina
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3298-3298
Armenian dram
is a
currency
type of
armenia
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3302-3302
Australian dollar
is a
currency
type of
australia
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3306-3306
Euro dollar
is a
currency
type of
austria
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3310-3310
Azerbaijani manat
is a
currency
type of
azerbaijan
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3318-3318
Bahrainian dinar
is a
currency
type of
bahrain
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3322-3322
Bangladeshi taka
is a
currency
type of
bangladesh
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3326-3326
Barbados dollar
is a
currency
type of
barbados
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3330-3330
Belarusian rubel
is a
currency
type of
belarus
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3334-3334
Euro dollar
is a
currency
type of
belgium
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3338-3338
Belize dollar
is a
currency
type of
belize
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3342-3342
Benin franc
is a
currency
type of
benin
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3346-3346
Bermuda dollar
is a
currency
type of
bermuda
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3350-3350
Bhutanese ngultrum
is a
currency
type of
bhutan
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3354-3354
Bolivian boliviano
is a
currency
type of
bolivia
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3358-3358
Botswana pula
is a
currency
type of
botswana
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3362-3362
Brazilian real
is a
currency
type of
brazil
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3366-3366
Brunei dollar
is a
currency
type of
brunei
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3370-3370
Bulgarian lev
is a
currency
type of
bulgaria
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3374-3374
Burkina faso franc
is a
currency
type of
burkina faso
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3378-3378
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