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
codeMapping
Sigma KEE - codeMapping
codeMapping
appearance as argument number 1
(
documentation
codeMapping
EnglishLanguage
"(
codeMapping
?
CodeMap
?
SymbolicString
?
Entity
) means that the token ?
SymbolicString
, which is defined or specified in ?
CodeMap
, corresponds to the SUMO concept denoted by ?
Entity
.")
Media.kif 2267-2270
(
domain
codeMapping
1
CodeMap
)
Media.kif 2264-2264
O argumento numero 1 de
codeMapping
e' uma
instancia
de
CodeMap
(
domain
codeMapping
2
SymbolicString
)
Media.kif 2265-2265
O argumento numero 2 de
codeMapping
e' uma
instancia
de
Sequencia Simbolica
(
domain
codeMapping
3
Entity
)
Media.kif 2266-2266
O argumento numero 3 de
codeMapping
e' uma
instancia
de
Entidade
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Gene.png")
pictureList.kif 10648-10648
O argumento numero 3 de
codeMapping
e' uma
instancia
de
Entidade
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ FortranCodingForm.agr.jpg")
pictureList.kif 10649-10649
O argumento numero 3 de
codeMapping
e' uma
instancia
de
Entidade
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Linotype_distributor_rail_coding.png")
pictureList.kif 10647-10647
O argumento numero 3 de
codeMapping
e' uma
instancia
de
Entidade
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ DSC_4050-MR_Braille.jpg")
pictureList.kif 10657-10657
O argumento numero 3 de
codeMapping
e' uma
instancia
de
Entidade
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ ColorAlphabetExample.png")
pictureList.kif 10651-10651
O argumento numero 3 de
codeMapping
e' uma
instancia
de
Entidade
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Burnt_in_timecode.jpg")
pictureList.kif 10653-10653
O argumento numero 3 de
codeMapping
e' uma
instancia
de
Entidade
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/6/6b/ Unicode_sample.png")
pictureList.kif 10654-10654
O argumento numero 3 de
codeMapping
e' uma
instancia
de
Entidade
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/a/a1/ Amercode.png")
pictureList.kif 10652-10652
O argumento numero 3 de
codeMapping
e' uma
instancia
de
Entidade
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/c/c8/ Unicodeconsortium_bookv5.jpg")
pictureList.kif 10655-10655
O argumento numero 3 de
codeMapping
e' uma
instancia
de
Entidade
(
instance
codeMapping
TernaryPredicate
)
Media.kif 2263-2263
codeMapping
e' uma
instancia
de
Predicado Ternario
appearance as argument number 2
(
format
ChineseLanguage
codeMapping
"%2 在 %1
de
notes %3 ")
domainEnglishFormat.kif 3010-3010
(
format
ChineseTraditionalLanguage
codeMapping
"%2 在 %1
de
notes %3 ")
domainEnglishFormat.kif 3009-3009
(
format
EnglishLanguage
codeMapping
"%2 in %1
de
notes %3")
domainEnglishFormat.kif 3008-3008
(
termFormat
EnglishLanguage
codeMapping
"code mapping")
domainEnglishFormat.kif 65823-65823
antecedent
(=>
(
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
codeMapping
ISO_4217_A
,
Sequencia Simbolica
and
UnitOfCurrency
codeMapping
ISO-3166-1-alpha-2
,
Sequencia Simbolica
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Sequencia Simbolica
e'
igual
a
SubstringFn
Sequencia Simbolica
, 0 and 2
currencyType
Area Geopolitica
and
UnitOfCurrency
(=>
(
and
(
instance
?CM
AirlineCodeMap
)
(
codeMapping
?CM ?STR ?AIR))
(
and
(
instance
?AIR
Airline
)
(
represents
?STR ?AIR)))
Transportation.kif 4035-4041
CodeMap
e' uma
instancia
de
AirlineCodeMap
codeMapping
CodeMap
,
Sequencia Simbolica
and
Entidade
Entidade
e' uma
instancia
de
Airline
Sequencia Simbolica
define
Entidade
(=>
(
codeMapping
?MAP ?TOKEN ?X)
(
represents
?TOKEN ?X))
Media.kif 2272-2274
codeMapping
CodeMap
,
Sequencia Simbolica
and
Entidade
Sequencia Simbolica
define
Entidade
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
equal
3
(
StringLengthFn
?STR)))
Transportation.kif 4065-4067
codeMapping
IACOAirlineCode
,
Sequencia Simbolica
and
Entidade
3 e'
igual
a
StringLengthFn
Sequencia Simbolica
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalCivilAviationOrganization
))
Transportation.kif 4061-4063
codeMapping
IACOAirlineCode
,
Sequencia Simbolica
and
Fisico
Fisico
e'
membro
de
InternationalCivilAviationOrganization
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
equal
2
(
StringLengthFn
?STR)))
Transportation.kif 4052-4054
codeMapping
IATAAirlineCode
,
Sequencia Simbolica
and
Entidade
2 e'
igual
a
StringLengthFn
Sequencia Simbolica
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalAirTransportAssociation
))
Transportation.kif 4048-4050
codeMapping
IATAAirlineCode
,
Sequencia Simbolica
and
Fisico
Fisico
e'
membro
de
InternationalAirTransportAssociation
(=>
(
codeMapping
ISO-3166-1-alpha-2
?TOKEN ?X)
(
and
(
instance
?X
GeographicArea
)
(
instance
?TOKEN
AlphabeticString
)
(
stringLength
2 ?TOKEN)))
Media.kif 2636-2641
codeMapping
ISO-3166-1-alpha-2
,
Sequencia Simbolica
and
Entidade
Entidade
e' uma
instancia
de
Area Geografica
Sequencia Simbolica
e' uma
instancia
de
AlphabeticString
stringLength
2 and
Sequencia Simbolica
(=>
(
codeMapping
ISO_4217_A
?TOKEN ?CURRENCY)
(
currencyCode
?TOKEN ?CURRENCY))
Media.kif 2316-2318
codeMapping
ISO_4217_A
,
Sequencia Simbolica
and
UnitOfCurrency
currencyCode
Sequencia Simbolica
and
UnitOfCurrency
(=>
(
codeMapping
ISO_4217_A
?TOKEN ?X)
(
and
(
instance
?X
UnitOfMeasure
)
(
stringLength
3 ?TOKEN)
(
instance
?TOKEN
AlphabeticString
)))
Media.kif 2286-2291
codeMapping
ISO_4217_A
,
Sequencia Simbolica
and
Entidade
Entidade
e' uma
instancia
de
Unidade de Medida
stringLength
3 and
Sequencia Simbolica
Sequencia Simbolica
e' uma
instancia
de
AlphabeticString
(=>
(
codeMapping
ISO_639_1
?TOKEN ?X)
(
instance
?TOKEN
SymbolicString
))
Languages.kif 14715-14717
codeMapping
ISO_639_1
,
Sequencia Simbolica
and
Entidade
Sequencia Simbolica
e' uma
instancia
de
Sequencia Simbolica
(=>
(
codeMapping
ISO_639_1
?TOKEN ?X)
(
or
(
instance
?X
HumanLanguage
)
(
instance
?X
(
subclass
?CLASS
HumanLanguage
))))
Languages.kif 14705-14709
codeMapping
ISO_639_1
,
Sequencia Simbolica
and
Entidade
Entidade
e' uma
instancia
de
Linguagem Humana
Entidade
e' uma
instancia
de
Entidade
e' uma
sub
-classe de
Linguagem Humana
(=>
(
codeMapping
ISO_639_1
?TOKEN ?X)
(
stringLength
2 ?TOKEN))
Languages.kif 14711-14713
codeMapping
ISO_639_1
,
Sequencia Simbolica
and
Entidade
stringLength
2 and
Sequencia Simbolica
consequent
(=>
(
and
(
instance
?OBJ
DigitalDataStorageDevice
)
(
part
?PART ?OBJ)
(
instance
?PART
DigitalData
))
(
exists
(?SCHEME ?LIST ?NUM)
(
and
(
codeMapping
?SCHEME ?PART ?NUM)
(
represents
?LIST ?SCHEME)
(=>
(
inList
?NUM ?LIST)
(
instance
?NUM
BinaryNumber
)))))
Media.kif 801-812
Objeto
e' uma
instancia
de
DigitalDataStorageDevice
Sequencia Simbolica
e' uma &parte de
Objeto
Sequencia Simbolica
e' uma
instancia
de
DigitalData
CodeMap
Lista
and
Entidade
codeMapping
CodeMap
,
Sequencia Simbolica
and
Entidade
Lista
define
CodeMap
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
Numero Binario
(=>
(
currencyCode
?TOKEN ?CURRENCY)
(
codeMapping
ISO_4217_A
?TOKEN ?CURRENCY))
Media.kif 2320-2322
currencyCode
Sequencia Simbolica
and
UnitOfCurrency
codeMapping
ISO_4217_A
,
Sequencia Simbolica
and
UnitOfCurrency
appearance as argument number 0
(
codeMapping
ISO-3166-1-alpha-2
"AD"
Andorra
)
Media.kif 2643-2643
codeMapping
ISO-3166-1-alpha-2
, "AD" and
Andorra
(
codeMapping
ISO-3166-1-alpha-2
"AE"
UnitedArabEmirates
)
Media.kif 2834-2834
codeMapping
ISO-3166-1-alpha-2
, "AE" and
UnitedArabEmirates
(
codeMapping
ISO-3166-1-alpha-2
"AF"
Afghanistan
)
Media.kif 2644-2644
codeMapping
ISO-3166-1-alpha-2
, "AF" and
Afghanistan
(
codeMapping
ISO-3166-1-alpha-2
"AG"
AntiguaAndBarbuda
)
Media.kif 2645-2645
codeMapping
ISO-3166-1-alpha-2
, "AG" and
AntiguaAndBarbuda
(
codeMapping
ISO-3166-1-alpha-2
"AI"
Anguilla
)
Media.kif 2842-2842
codeMapping
ISO-3166-1-alpha-2
, "AI" and
Anguilla
(
codeMapping
ISO-3166-1-alpha-2
"AL"
Albania
)
Media.kif 2646-2646
codeMapping
ISO-3166-1-alpha-2
, "AL" and
Albania
(
codeMapping
ISO-3166-1-alpha-2
"AM"
Armenia
)
Media.kif 2647-2647
codeMapping
ISO-3166-1-alpha-2
, "AM" and
Armenia
(
codeMapping
ISO-3166-1-alpha-2
"AN"
NetherlandsAntilles
)
Media.kif 2867-2867
codeMapping
ISO-3166-1-alpha-2
, "AN" and
NetherlandsAntilles
(
codeMapping
ISO-3166-1-alpha-2
"AO"
Angola
)
Media.kif 2648-2648
codeMapping
ISO-3166-1-alpha-2
, "AO" and
Angola
(
codeMapping
ISO-3166-1-alpha-2
"AQ"
Antarctica
)
Media.kif 2843-2843
codeMapping
ISO-3166-1-alpha-2
, "AQ" and
Antarctica
(
codeMapping
ISO-3166-1-alpha-2
"AR"
Argentina
)
Media.kif 2649-2649
codeMapping
ISO-3166-1-alpha-2
, "AR" and
Argentina
(
codeMapping
ISO-3166-1-alpha-2
"AS"
AmericanSamoa
)
Media.kif 2841-2841
codeMapping
ISO-3166-1-alpha-2
, "AS" and
AmericanSamoa
(
codeMapping
ISO-3166-1-alpha-2
"AT"
Austria
)
Media.kif 2650-2650
codeMapping
ISO-3166-1-alpha-2
, "AT" and
Austria
(
codeMapping
ISO-3166-1-alpha-2
"AU"
Australia
)
Media.kif 2651-2651
codeMapping
ISO-3166-1-alpha-2
, "AU" and
Australia
(
codeMapping
ISO-3166-1-alpha-2
"AW"
Aruba
)
Media.kif 2844-2844
codeMapping
ISO-3166-1-alpha-2
, "AW" and
Aruba
(
codeMapping
ISO-3166-1-alpha-2
"AX"
AalandIslands
)
Media.kif 2652-2652
codeMapping
ISO-3166-1-alpha-2
, "AX" and
AalandIslands
(
codeMapping
ISO-3166-1-alpha-2
"AZ"
Azerbaijan
)
Media.kif 2653-2653
codeMapping
ISO-3166-1-alpha-2
, "AZ" and
Azerbaijan
(
codeMapping
ISO-3166-1-alpha-2
"BA"
BosniaAndHerzegovina
)
Media.kif 2654-2654
codeMapping
ISO-3166-1-alpha-2
, "BA" and
BosniaAndHerzegovina
(
codeMapping
ISO-3166-1-alpha-2
"BB"
Barbados
)
Media.kif 2655-2655
codeMapping
ISO-3166-1-alpha-2
, "BB" and
Barbados
(
codeMapping
ISO-3166-1-alpha-2
"BD"
Bangladesh
)
Media.kif 2656-2656
codeMapping
ISO-3166-1-alpha-2
, "BD" and
Bangladesh
(
codeMapping
ISO-3166-1-alpha-2
"BE"
Belgium
)
Media.kif 2657-2657
codeMapping
ISO-3166-1-alpha-2
, "BE" and
Belgium
(
codeMapping
ISO-3166-1-alpha-2
"BF"
BurkinaFaso
)
Media.kif 2658-2658
codeMapping
ISO-3166-1-alpha-2
, "BF" and
BurkinaFaso
(
codeMapping
ISO-3166-1-alpha-2
"BG"
Bulgaria
)
Media.kif 2659-2659
codeMapping
ISO-3166-1-alpha-2
, "BG" and
Bulgaria
(
codeMapping
ISO-3166-1-alpha-2
"BH"
Bahrain
)
Media.kif 2660-2660
codeMapping
ISO-3166-1-alpha-2
, "BH" and
Bahrain
(
codeMapping
ISO-3166-1-alpha-2
"BI"
Burundi
)
Media.kif 2661-2661
codeMapping
ISO-3166-1-alpha-2
, "BI" and
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