Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 2262-2265
(
domain
codeMapping
1
CodeMap
)
Media.kif 2259-2259
The number 1 argument of
codeMapping
is an
instance
of
CodeMap
(
domain
codeMapping
2
SymbolicString
)
Media.kif 2260-2260
The number 2 argument of
codeMapping
is an
instance
of
symbolic string
(
domain
codeMapping
3
Entity
)
Media.kif 2261-2261
The number 3 argument of
codeMapping
is an
instance
of
entity
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Gene.png")
pictureList.kif 10670-10670
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ FortranCodingForm.agr.jpg")
pictureList.kif 10671-10671
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Linotype_distributor_rail_coding.png")
pictureList.kif 10669-10669
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ DSC_4050-MR-Braille.jpg")
pictureList.kif 10679-10679
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ ColorAlphabetExample.png")
pictureList.kif 10673-10673
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Burnt-in_timecode.jpg")
pictureList.kif 10675-10675
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/6/6b/ Unicode_sample.png")
pictureList.kif 10676-10676
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/a/a1/ Amercode.png")
pictureList.kif 10674-10674
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/c/c8/ Unicodeconsortium_bookv5.jpg")
pictureList.kif 10677-10677
(
instance
codeMapping
TernaryPredicate
)
Media.kif 2258-2258
codeMapping
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
codeMapping
"%2 在 %1 denotes %3 ")
domainEnglishFormat.kif 3023-3023
(
format
ChineseTraditionalLanguage
codeMapping
"%2 在 %1 denotes %3 ")
domainEnglishFormat.kif 3022-3022
(
format
EnglishLanguage
codeMapping
"%2 in %1 denotes %3")
domainEnglishFormat.kif 3021-3021
antecedent
(=>
(
and
(
codeMapping
ISO-4217-A
?A3 ?CURRENCY)
(
codeMapping
ISO-3166-1-alpha-2
?A2 ?AREA)
(
subclass
?AREA
GeopoliticalArea
)
(
equal
?A2
(
SubstringFn
?A3 0 2)))
(
currencyType
?AREA ?CURRENCY))
Media.kif 2859-2865
If
a symbolic string
in
ISO-4217-A
denotes
an UnitOfCurrency
and
another symbolic string
in
ISO-3166-1-alpha-2
denotes
a geopolitical area
and
the geopolitical area
is a
subclass
of
geopolitical area
and
the other symbolic string
is
equal
to the
sub
-string of
the symbolic string
from 0 to 2,
then
the UnitOfCurrency
is a
currency
type of
the geopolitical area
(=>
(
and
(
instance
?CM
AirlineCodeMap
)
(
codeMapping
?CM ?STR ?AIR))
(
and
(
instance
?AIR
Airline
)
(
represents
?STR ?AIR)))
Transportation.kif 3113-3119
If
a CodeMap
is an
instance
of
airline code map
and
a symbolic string
in
the CodeMap
denotes
an entity
,
then
the entity
is an
instance
of
Airline
and
the symbolic string
express
es
the entity
(=>
(
codeMapping
?MAP ?TOKEN ?X)
(
represents
?TOKEN ?X))
Media.kif 2267-2269
If
a symbolic string
in
a CodeMap
denotes
an entity
,
then
the symbolic string
express
es
the entity
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
equal
3
(
StringLengthFn
?STR)))
Transportation.kif 3143-3145
If
a symbolic string
in
IACO airline code
denotes
an entity
,
then 3 is
equal
to the
length
of
the symbolic string
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalCivilAviationOrganization
))
Transportation.kif 3139-3141
If
a symbolic string
in
IACO airline code
denotes
an object
,
then
the object
is a
member
of
international civil aviation organization
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
equal
2
(
StringLengthFn
?STR)))
Transportation.kif 3130-3132
If
a symbolic string
in
IATA airline code
denotes
an entity
,
then 2 is
equal
to the
length
of
the symbolic string
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalAirTransportAssociation
))
Transportation.kif 3126-3128
If
a symbolic string
in
IATA airline code
denotes
an object
,
then
the object
is a
member
of
International Air Transport Association
(=>
(
codeMapping
ISO-3166-1-alpha-2
?TOKEN ?X)
(
and
(
instance
?X
GeographicArea
)
(
instance
?TOKEN
AlphabeticString
)
(
stringLength
2 ?TOKEN)))
Media.kif 2606-2611
If
a symbolic string
in
ISO-3166-1-alpha-2
denotes
an entity
,
then
the entity
is an
instance
of
geographic area
and
the symbolic string
is an
instance
of
AlphabeticString
and
the symbolic string
is 2
characters
long
(=>
(
codeMapping
ISO-4217-A
?TOKEN ?CURRENCY)
(
currencyCode
?TOKEN ?CURRENCY))
Media.kif 2311-2313
If
a symbolic string
in
ISO-4217-A
denotes
an UnitOfCurrency
,
then
the UnitOfCurrency
is a
currency
code of
the symbolic string
(=>
(
codeMapping
ISO-4217-A
?TOKEN ?X)
(
and
(
instance
?X
UnitOfMeasure
)
(
stringLength
3 ?TOKEN)
(
instance
?TOKEN
AlphabeticString
)))
Media.kif 2281-2286
If
a symbolic string
in
ISO-4217-A
denotes
an entity
,
then
the entity
is an
instance
of
unit of measure
and
the symbolic string
is 3
characters
long
and
the symbolic string
is an
instance
of
AlphabeticString
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
instance
?TOKEN
SymbolicString
))
Languages.kif 14693-14695
If
a symbolic string
in
ISO-639-1
denotes
an entity
,
then
the symbolic string
is an
instance
of
symbolic string
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
or
(
instance
?X
HumanLanguage
)
(
subclass
?X
HumanLanguage
)))
Languages.kif 14683-14687
If
a symbolic string
in
ISO-639-1
denotes
a set or class
,
then
the set or class
is an
instance
of
human language
or
the set or class
is a
subclass
of
human language
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
stringLength
2 ?TOKEN))
Languages.kif 14689-14691
If
a symbolic string
in
ISO-639-1
denotes
an entity
,
then
the symbolic string
is 2
characters
long
consequent
(=>
(
and
(
instance
?OBJ
DigitalDataStorageDevice
)
(
part
?PART ?OBJ)
(
instance
?PART
DigitalData
))
(
exists
(?SCHEME ?LIST)
(
and
(
codeMapping
?SCHEME ?PART ?NUM)
(
represents
?LIST ?SCHEME)
(=>
(
inList
?NUM ?LIST)
(
instance
?NUM
BinaryNumber
)))))
Media.kif 801-812
If
an object
is an
instance
of
DigitalDataStorageDevice
and
a symbolic string
is a
part
of
the object
and
the symbolic string
is an
instance
of
digital data
,
then there exist
a CodeMap
and
a list
such that
the symbolic string
in
the CodeMap
denotes
an entity
and
the list
express
es
the CodeMap
and
if
the entity
is a
member
of
the list
,
then
the entity
is an
instance
of
binary number
(=>
(
currencyCode
?TOKEN ?CURRENCY)
(
codeMapping
ISO-4217-A
?TOKEN ?CURRENCY))
Media.kif 2315-2317
If
an UnitOfCurrency
is a
currency
code of
a symbolic string
,
then
the symbolic string
in
ISO-4217-A
denotes
the UnitOfCurrency
appearance as argument number 0
(
codeMapping
ISO-3166-1-alpha-2
"AD"
Andorra
)
Media.kif 2613-2613
"AD" in
ISO-3166-1-alpha-2
denotes
andorra
(
codeMapping
ISO-3166-1-alpha-2
"AE"
UnitedArabEmirates
)
Media.kif 2804-2804
"AE" in
ISO-3166-1-alpha-2
denotes
united arab emirates
(
codeMapping
ISO-3166-1-alpha-2
"AF"
Afghanistan
)
Media.kif 2614-2614
"AF" in
ISO-3166-1-alpha-2
denotes
afghanistan
(
codeMapping
ISO-3166-1-alpha-2
"AG"
AntiguaAndBarbuda
)
Media.kif 2615-2615
"AG" in
ISO-3166-1-alpha-2
denotes
antigua and barbuda
(
codeMapping
ISO-3166-1-alpha-2
"AI"
Anguilla
)
Media.kif 2812-2812
"AI" in
ISO-3166-1-alpha-2
denotes
anguilla
(
codeMapping
ISO-3166-1-alpha-2
"AL"
Albania
)
Media.kif 2616-2616
"AL" in
ISO-3166-1-alpha-2
denotes
albania
(
codeMapping
ISO-3166-1-alpha-2
"AM"
Armenia
)
Media.kif 2617-2617
"AM" in
ISO-3166-1-alpha-2
denotes
armenia
(
codeMapping
ISO-3166-1-alpha-2
"AN"
NetherlandsAntilles
)
Media.kif 2837-2837
"AN" in
ISO-3166-1-alpha-2
denotes
netherlands antilles
(
codeMapping
ISO-3166-1-alpha-2
"AO"
Angola
)
Media.kif 2618-2618
"AO" in
ISO-3166-1-alpha-2
denotes
angola
(
codeMapping
ISO-3166-1-alpha-2
"AQ"
Antarctica
)
Media.kif 2813-2813
"AQ" in
ISO-3166-1-alpha-2
denotes
antarctica
(
codeMapping
ISO-3166-1-alpha-2
"AR"
Argentina
)
Media.kif 2619-2619
"AR" in
ISO-3166-1-alpha-2
denotes
argentina
(
codeMapping
ISO-3166-1-alpha-2
"AS"
AmericanSamoa
)
Media.kif 2811-2811
"AS" in
ISO-3166-1-alpha-2
denotes
american samoa
(
codeMapping
ISO-3166-1-alpha-2
"AT"
Austria
)
Media.kif 2620-2620
"AT" in
ISO-3166-1-alpha-2
denotes
austria
(
codeMapping
ISO-3166-1-alpha-2
"AU"
Australia
)
Media.kif 2621-2621
"AU" in
ISO-3166-1-alpha-2
denotes
australia
(
codeMapping
ISO-3166-1-alpha-2
"AW"
Aruba
)
Media.kif 2814-2814
"AW" in
ISO-3166-1-alpha-2
denotes
aruba
(
codeMapping
ISO-3166-1-alpha-2
"AX"
AalandIslands
)
Media.kif 2622-2622
"AX" in
ISO-3166-1-alpha-2
denotes
AalandIslands
(
codeMapping
ISO-3166-1-alpha-2
"AZ"
Azerbaijan
)
Media.kif 2623-2623
"AZ" in
ISO-3166-1-alpha-2
denotes
azerbaijan
(
codeMapping
ISO-3166-1-alpha-2
"BA"
BosniaAndHerzegovina
)
Media.kif 2624-2624
"BA" in
ISO-3166-1-alpha-2
denotes
bosnia and herzegovina
(
codeMapping
ISO-3166-1-alpha-2
"BB"
Barbados
)
Media.kif 2625-2625
"BB" in
ISO-3166-1-alpha-2
denotes
barbados
(
codeMapping
ISO-3166-1-alpha-2
"BD"
Bangladesh
)
Media.kif 2626-2626
"BD" in
ISO-3166-1-alpha-2
denotes
bangladesh
(
codeMapping
ISO-3166-1-alpha-2
"BE"
Belgium
)
Media.kif 2627-2627
"BE" in
ISO-3166-1-alpha-2
denotes
belgium
(
codeMapping
ISO-3166-1-alpha-2
"BF"
BurkinaFaso
)
Media.kif 2628-2628
"BF" in
ISO-3166-1-alpha-2
denotes
burkina faso
(
codeMapping
ISO-3166-1-alpha-2
"BG"
Bulgaria
)
Media.kif 2629-2629
"BG" in
ISO-3166-1-alpha-2
denotes
bulgaria
(
codeMapping
ISO-3166-1-alpha-2
"BH"
Bahrain
)
Media.kif 2630-2630
"BH" in
ISO-3166-1-alpha-2
denotes
bahrain
(
codeMapping
ISO-3166-1-alpha-2
"BI"
Burundi
)
Media.kif 2631-2631
"BI" in
ISO-3166-1-alpha-2
denotes
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