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
The number 1 argument of
code mapping
is an
instance
of
code map
(
domain
codeMapping
2
SymbolicString
)
Media.kif 2265-2265
The number 2 argument of
code mapping
is an
instance
of
symbolic string
(
domain
codeMapping
3
Entity
)
Media.kif 2266-2266
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 10649-10649
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ FortranCodingForm.agr.jpg")
pictureList.kif 10650-10650
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Linotype_distributor_rail_coding.png")
pictureList.kif 10648-10648
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ DSC_4050-MR-Braille.jpg")
pictureList.kif 10658-10658
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ ColorAlphabetExample.png")
pictureList.kif 10652-10652
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Burnt-in_timecode.jpg")
pictureList.kif 10654-10654
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/6/6b/ Unicode_sample.png")
pictureList.kif 10655-10655
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/a/a1/ Amercode.png")
pictureList.kif 10653-10653
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/c/c8/ Unicodeconsortium_bookv5.jpg")
pictureList.kif 10656-10656
(
instance
codeMapping
TernaryPredicate
)
Media.kif 2263-2263
code mapping
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
codeMapping
"%2 在 %1
de
notes %3 ")
domainEnglishFormat.kif 3018-3018
(
format
ChineseTraditionalLanguage
codeMapping
"%2 在 %1
de
notes %3 ")
domainEnglishFormat.kif 3017-3017
(
format
EnglishLanguage
codeMapping
"%2 in %1
de
notes %3")
domainEnglishFormat.kif 3016-3016
(
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 2889-2895
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
the other symbolic string
is
equal
to 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 3135-3141
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 2272-2274
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 3165-3167
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 3161-3163
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 3152-3154
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 3148-3150
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 2636-2641
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 2316-2318
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 2286-2291
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 2320-2322
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 2643-2643
"AD" in
ISO-3166-1-alpha-2
denotes
andorra
(
codeMapping
ISO-3166-1-alpha-2
"AE"
UnitedArabEmirates
)
Media.kif 2834-2834
"AE" in
ISO-3166-1-alpha-2
denotes
united arab emirates
(
codeMapping
ISO-3166-1-alpha-2
"AF"
Afghanistan
)
Media.kif 2644-2644
"AF" in
ISO-3166-1-alpha-2
denotes
afghanistan
(
codeMapping
ISO-3166-1-alpha-2
"AG"
AntiguaAndBarbuda
)
Media.kif 2645-2645
"AG" in
ISO-3166-1-alpha-2
denotes
antigua and barbuda
(
codeMapping
ISO-3166-1-alpha-2
"AI"
Anguilla
)
Media.kif 2842-2842
"AI" in
ISO-3166-1-alpha-2
denotes
anguilla
(
codeMapping
ISO-3166-1-alpha-2
"AL"
Albania
)
Media.kif 2646-2646
"AL" in
ISO-3166-1-alpha-2
denotes
albania
(
codeMapping
ISO-3166-1-alpha-2
"AM"
Armenia
)
Media.kif 2647-2647
"AM" in
ISO-3166-1-alpha-2
denotes
armenia
(
codeMapping
ISO-3166-1-alpha-2
"AN"
NetherlandsAntilles
)
Media.kif 2867-2867
"AN" in
ISO-3166-1-alpha-2
denotes
netherlands antilles
(
codeMapping
ISO-3166-1-alpha-2
"AO"
Angola
)
Media.kif 2648-2648
"AO" in
ISO-3166-1-alpha-2
denotes
angola
(
codeMapping
ISO-3166-1-alpha-2
"AQ"
Antarctica
)
Media.kif 2843-2843
"AQ" in
ISO-3166-1-alpha-2
denotes
antarctica
(
codeMapping
ISO-3166-1-alpha-2
"AR"
Argentina
)
Media.kif 2649-2649
"AR" in
ISO-3166-1-alpha-2
denotes
argentina
(
codeMapping
ISO-3166-1-alpha-2
"AS"
AmericanSamoa
)
Media.kif 2841-2841
"AS" in
ISO-3166-1-alpha-2
denotes
american samoa
(
codeMapping
ISO-3166-1-alpha-2
"AT"
Austria
)
Media.kif 2650-2650
"AT" in
ISO-3166-1-alpha-2
denotes
austria
(
codeMapping
ISO-3166-1-alpha-2
"AU"
Australia
)
Media.kif 2651-2651
"AU" in
ISO-3166-1-alpha-2
denotes
australia
(
codeMapping
ISO-3166-1-alpha-2
"AW"
Aruba
)
Media.kif 2844-2844
"AW" in
ISO-3166-1-alpha-2
denotes
aruba
(
codeMapping
ISO-3166-1-alpha-2
"AX"
AalandIslands
)
Media.kif 2652-2652
"AX" in
ISO-3166-1-alpha-2
denotes
Aaland islands
(
codeMapping
ISO-3166-1-alpha-2
"AZ"
Azerbaijan
)
Media.kif 2653-2653
"AZ" in
ISO-3166-1-alpha-2
denotes
azerbaijan
(
codeMapping
ISO-3166-1-alpha-2
"BA"
BosniaAndHerzegovina
)
Media.kif 2654-2654
"BA" in
ISO-3166-1-alpha-2
denotes
bosnia and herzegovina
(
codeMapping
ISO-3166-1-alpha-2
"BB"
Barbados
)
Media.kif 2655-2655
"BB" in
ISO-3166-1-alpha-2
denotes
barbados
(
codeMapping
ISO-3166-1-alpha-2
"BD"
Bangladesh
)
Media.kif 2656-2656
"BD" in
ISO-3166-1-alpha-2
denotes
bangladesh
(
codeMapping
ISO-3166-1-alpha-2
"BE"
Belgium
)
Media.kif 2657-2657
"BE" in
ISO-3166-1-alpha-2
denotes
belgium
(
codeMapping
ISO-3166-1-alpha-2
"BF"
BurkinaFaso
)
Media.kif 2658-2658
"BF" in
ISO-3166-1-alpha-2
denotes
burkina faso
(
codeMapping
ISO-3166-1-alpha-2
"BG"
Bulgaria
)
Media.kif 2659-2659
"BG" in
ISO-3166-1-alpha-2
denotes
bulgaria
(
codeMapping
ISO-3166-1-alpha-2
"BH"
Bahrain
)
Media.kif 2660-2660
"BH" in
ISO-3166-1-alpha-2
denotes
bahrain
(
codeMapping
ISO-3166-1-alpha-2
"BI"
Burundi
)
Media.kif 2661-2661
"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