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
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2877-2879
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2872-2872
Le nombre 1 argument de
currencyType
est une
instance
de
secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2873-2873
Le nombre 2 argument de
currencyType
est une
instance
de
UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2871-2871
currencyType
est une
instance
de
pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2875-2875
currencyType
est une
instance
de
relation simple
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 18096-18096
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 18095-18095
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 18094-18094
antecedent
No TPTP formula. May not be expressible in strict first order.
Government.kif 3229-3233
Secteur g�opolitique
est une
instance
de
nation
currencyType
secteur g�opolitique
and
EuroDollar
secteur g�opolitique
est un
membre
de
EuropeanMonetaryUnion
consequent
No TPTP formula. May not be expressible in strict first order.
Media.kif 2889-2895
codeMapping
ISO-4217-A
,
cha�ne sympbolique
and
UnitOfCurrency
codeMapping
ISO-3166-1-alpha-2
,
cha�ne sympbolique
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
cha�ne sympbolique
est
SubstringFn
cha�ne sympbolique
, 0 and 2
currencyType
secteur g�opolitique
and
UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.
Government.kif 3223-3227
Secteur g�opolitique
est une
instance
de
nation
secteur g�opolitique
est un
membre
de
EuropeanMonetaryUnion
currencyType
secteur g�opolitique
and
EuroDollar
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2884-2884
currencyType
Afghanistan
and
AfghanAfghani
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2945-2945
currencyType
Albania
and
AlbanianLek
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2949-2949
currencyType
Algeria
and
AlgerianDinar
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2953-2953
currencyType
Angola
and
AngolanKwanza
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2957-2957
currencyType
Argentina
and
ArgentineAustral
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2961-2961
currencyType
Armenia
and
ArmenianDram
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2965-2965
currencyType
Australia
and
AustralianDollar
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2969-2969
currencyType
Austria
and
EuroDollar
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2973-2973
currencyType
Azerbaijan
and
AzerbaijaniManat
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2981-2981
currencyType
Bahrain
and
BahrainianDinar
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2985-2985
currencyType
Bangladesh
and
BangladeshiTaka
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2989-2989
currencyType
Barbados
and
BarbadosDollar
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2993-2993
currencyType
Belarus
and
BelarusianRubel
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2997-2997
currencyType
Belgium
and
EuroDollar
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3001-3001
currencyType
Belize
and
BelizeDollar
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3005-3005
currencyType
Benin
and
BeninFranc
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3009-3009
currencyType
Bermuda
and
BermudaDollar
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3013-3013
currencyType
Bhutan
and
BhutaneseNgultrum
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3017-3017
currencyType
Bolivia
and
BolivianBoliviano
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3021-3021
currencyType
Botswana
and
BotswanaPula
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3025-3025
currencyType
Brazil
and
BrazilianReal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3029-3029
currencyType
Brunei
and
BruneiDollar
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3033-3033
currencyType
Bulgaria
and
BulgarianLev
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3037-3037
currencyType
BurkinaFaso
and
BurkinaFasoFranc
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3041-3041
currencyType
Burundi
and
BurundiFranc
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