Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
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
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 2269-2272
(
domain
codeMapping
1
CodeMap
)
Media.kif 2266-2266
The number 1 argument of
code mapping
is an
instance
of
code map
(
domain
codeMapping
2
SymbolicString
)
Media.kif 2267-2267
The number 2 argument of
code mapping
is an
instance
of
symbolic string
(
domain
codeMapping
3
Entity
)
Media.kif 2268-2268
The number 3 argument of
code mapping
is an
instance
of
entity
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Gene.png")
pictureList.kif 10647-10647
The number 3 argument of
code mapping
is an
instance
of
entity
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ FortranCodingForm.agr.jpg")
pictureList.kif 10648-10648
The number 3 argument of
code mapping
is an
instance
of
entity
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Linotype_distributor_rail_coding.png")
pictureList.kif 10646-10646
The number 3 argument of
code mapping
is an
instance
of
entity
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ DSC_4050-MR_Braille.jpg")
pictureList.kif 10656-10656
The number 3 argument of
code mapping
is an
instance
of
entity
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ ColorAlphabetExample.png")
pictureList.kif 10650-10650
The number 3 argument of
code mapping
is an
instance
of
entity
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Burnt_in_timecode.jpg")
pictureList.kif 10652-10652
The number 3 argument of
code mapping
is an
instance
of
entity
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/6/6b/ Unicode_sample.png")
pictureList.kif 10653-10653
The number 3 argument of
code mapping
is an
instance
of
entity
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/a/a1/ Amercode.png")
pictureList.kif 10651-10651
The number 3 argument of
code mapping
is an
instance
of
entity
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/c/c8/ Unicodeconsortium_bookv5.jpg")
pictureList.kif 10654-10654
The number 3 argument of
code mapping
is an
instance
of
entity
(
instance
codeMapping
TernaryPredicate
)
Media.kif 2265-2265
code mapping
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
codeMapping
"%2 在 %1
de
notes %3 ")
domainEnglishFormat.kif 3014-3014
(
format
ChineseTraditionalLanguage
codeMapping
"%2 在 %1
de
notes %3 ")
domainEnglishFormat.kif 3013-3013
(
format
EnglishLanguage
codeMapping
"%2 in %1
de
notes %3")
domainEnglishFormat.kif 3012-3012
(
termFormat
EnglishLanguage
codeMapping
"code mapping")
domainEnglishFormat.kif 65792-65792
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 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
(=>
(
and
(
instance
?CM
AirlineCodeMap
)
(
codeMapping
?CM ?STR ?AIR))
(
and
(
instance
?AIR
Airline
)
(
represents
?STR ?AIR)))
Transportation.kif 4041-4047
If
a code map
is an
instance
of
airline code map
and
a symbolic string
in
the code map
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 2274-2276
If
a symbolic string
in
a code map
denotes
an entity
,
then
the symbolic string
express
es
the entity
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
equal
3
(
StringLengthFn
?STR)))
Transportation.kif 4071-4073
If
a symbolic string
in
IACO airline code
denotes
an entity
,
then
equal
3 and the
length
of
the symbolic string
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalCivilAviationOrganization
))
Transportation.kif 4067-4069
If
a symbolic string
in
IACO airline code
denotes
a physical
,
then
the physical
is a
member
of
international civil aviation organization
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
equal
2
(
StringLengthFn
?STR)))
Transportation.kif 4058-4060
If
a symbolic string
in
IATA airline code
denotes
an entity
,
then
equal
2 and the
length
of
the symbolic string
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalAirTransportAssociation
))
Transportation.kif 4054-4056
If
a symbolic string
in
IATA airline code
denotes
a physical
,
then
the physical
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 2638-2643
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
alphabetic string
and
the symbolic string
is 2
characters
long
(=>
(
codeMapping
ISO_4217_A
?TOKEN ?CURRENCY)
(
currencyCode
?TOKEN ?CURRENCY))
Media.kif 2318-2320
If
a symbolic string
in
ISO_4217_A
denotes
an unit of currency
,
then
the unit of currency
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 2288-2293
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
alphabetic string
(=>
(
codeMapping
ISO_639_1
?TOKEN ?X)
(
instance
?TOKEN
SymbolicString
))
Languages.kif 14715-14717
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
)
(
instance
?X
(
subclass
?CLASS
HumanLanguage
))))
Languages.kif 14705-14709
If
a symbolic string
in
ISO_639_1
denotes
an entity
,
then
the entity
is an
instance
of
human language
or
the entity
is an
instance
of
another entity
is a
subclass
of
human language
(=>
(
codeMapping
ISO_639_1
?TOKEN ?X)
(
stringLength
2 ?TOKEN))
Languages.kif 14711-14713
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 ?NUM)
(
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
digital data storage device
and
a symbolic string
is a
part
of
the object
and
the symbolic string
is an
instance
of
digital data
,
then there exist
a code map
,
a list
and
an entity
such that
the symbolic string
in
the code map
denotes
the entity
and
the list
express
es
the code map
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 2322-2324
If
an unit of currency
is a
currency
code of
a symbolic string
,
then
the symbolic string
in
ISO_4217_A
denotes
the unit of currency
appearance as argument number 0
(
codeMapping
ISO_3166_1_alpha_2
"AD"
Andorra
)
Media.kif 2645-2645
"AD" in
ISO_3166_1_alpha_2
denotes
andorra
(
codeMapping
ISO_3166_1_alpha_2
"AE"
UnitedArabEmirates
)
Media.kif 2836-2836
"AE" in
ISO_3166_1_alpha_2
denotes
united arab emirates
(
codeMapping
ISO_3166_1_alpha_2
"AF"
Afghanistan
)
Media.kif 2646-2646
"AF" in
ISO_3166_1_alpha_2
denotes
afghanistan
(
codeMapping
ISO_3166_1_alpha_2
"AG"
AntiguaAndBarbuda
)
Media.kif 2647-2647
"AG" in
ISO_3166_1_alpha_2
denotes
antigua and barbuda
(
codeMapping
ISO_3166_1_alpha_2
"AI"
Anguilla
)
Media.kif 2844-2844
"AI" in
ISO_3166_1_alpha_2
denotes
anguilla
(
codeMapping
ISO_3166_1_alpha_2
"AL"
Albania
)
Media.kif 2648-2648
"AL" in
ISO_3166_1_alpha_2
denotes
albania
(
codeMapping
ISO_3166_1_alpha_2
"AM"
Armenia
)
Media.kif 2649-2649
"AM" in
ISO_3166_1_alpha_2
denotes
armenia
(
codeMapping
ISO_3166_1_alpha_2
"AN"
NetherlandsAntilles
)
Media.kif 2869-2869
"AN" in
ISO_3166_1_alpha_2
denotes
netherlands antilles
(
codeMapping
ISO_3166_1_alpha_2
"AO"
Angola
)
Media.kif 2650-2650
"AO" in
ISO_3166_1_alpha_2
denotes
angola
(
codeMapping
ISO_3166_1_alpha_2
"AQ"
Antarctica
)
Media.kif 2845-2845
"AQ" in
ISO_3166_1_alpha_2
denotes
antarctica
(
codeMapping
ISO_3166_1_alpha_2
"AR"
Argentina
)
Media.kif 2651-2651
"AR" in
ISO_3166_1_alpha_2
denotes
argentina
(
codeMapping
ISO_3166_1_alpha_2
"AS"
AmericanSamoa
)
Media.kif 2843-2843
"AS" in
ISO_3166_1_alpha_2
denotes
american samoa
(
codeMapping
ISO_3166_1_alpha_2
"AT"
Austria
)
Media.kif 2652-2652
"AT" in
ISO_3166_1_alpha_2
denotes
austria
(
codeMapping
ISO_3166_1_alpha_2
"AU"
Australia
)
Media.kif 2653-2653
"AU" in
ISO_3166_1_alpha_2
denotes
australia
(
codeMapping
ISO_3166_1_alpha_2
"AW"
Aruba
)
Media.kif 2846-2846
"AW" in
ISO_3166_1_alpha_2
denotes
aruba
(
codeMapping
ISO_3166_1_alpha_2
"AX"
AalandIslands
)
Media.kif 2654-2654
"AX" in
ISO_3166_1_alpha_2
denotes
Aaland islands
(
codeMapping
ISO_3166_1_alpha_2
"AZ"
Azerbaijan
)
Media.kif 2655-2655
"AZ" in
ISO_3166_1_alpha_2
denotes
azerbaijan
(
codeMapping
ISO_3166_1_alpha_2
"BA"
BosniaAndHerzegovina
)
Media.kif 2656-2656
"BA" in
ISO_3166_1_alpha_2
denotes
bosnia and herzegovina
(
codeMapping
ISO_3166_1_alpha_2
"BB"
Barbados
)
Media.kif 2657-2657
"BB" in
ISO_3166_1_alpha_2
denotes
barbados
(
codeMapping
ISO_3166_1_alpha_2
"BD"
Bangladesh
)
Media.kif 2658-2658
"BD" in
ISO_3166_1_alpha_2
denotes
bangladesh
(
codeMapping
ISO_3166_1_alpha_2
"BE"
Belgium
)
Media.kif 2659-2659
"BE" in
ISO_3166_1_alpha_2
denotes
belgium
(
codeMapping
ISO_3166_1_alpha_2
"BF"
BurkinaFaso
)
Media.kif 2660-2660
"BF" in
ISO_3166_1_alpha_2
denotes
burkina faso
(
codeMapping
ISO_3166_1_alpha_2
"BG"
Bulgaria
)
Media.kif 2661-2661
"BG" in
ISO_3166_1_alpha_2
denotes
bulgaria
(
codeMapping
ISO_3166_1_alpha_2
"BH"
Bahrain
)
Media.kif 2662-2662
"BH" in
ISO_3166_1_alpha_2
denotes
bahrain
(
codeMapping
ISO_3166_1_alpha_2
"BI"
Burundi
)
Media.kif 2663-2663
"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