Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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 2258-2261
(
domain
codeMapping
1
CodeMap
)
Media.kif 2255-2255
(
domain
codeMapping
2
SymbolicString
)
Media.kif 2256-2256
(
domain
codeMapping
3
Entity
)
Media.kif 2257-2257
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Gene.png")
pictureList.kif 10659-10659
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ FortranCodingForm.agr.jpg")
pictureList.kif 10660-10660
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Linotype_distributor_rail_coding.png")
pictureList.kif 10658-10658
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ DSC_4050-MR-Braille.jpg")
pictureList.kif 10668-10668
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ ColorAlphabetExample.png")
pictureList.kif 10662-10662
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Burnt-in_timecode.jpg")
pictureList.kif 10664-10664
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/6/6b/ Unicode_sample.png")
pictureList.kif 10665-10665
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/a/a1/ Amercode.png")
pictureList.kif 10663-10663
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/c/c8/ Unicodeconsortium_bookv5.jpg")
pictureList.kif 10666-10666
(
instance
codeMapping
TernaryPredicate
)
Media.kif 2254-2254
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 2877-2883
(=>
(
and
(
instance
?CM
AirlineCodeMap
)
(
codeMapping
?CM ?STR ?AIR))
(
and
(
instance
?AIR
Airline
)
(
represents
?STR ?AIR)))
Transportation.kif 3142-3148
(=>
(
codeMapping
?MAP ?TOKEN ?X)
(
represents
?TOKEN ?X))
Media.kif 2263-2265
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
equal
3
(
StringLengthFn
?STR)))
Transportation.kif 3172-3174
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalCivilAviationOrganization
))
Transportation.kif 3168-3170
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
equal
2
(
StringLengthFn
?STR)))
Transportation.kif 3159-3161
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalAirTransportAssociation
))
Transportation.kif 3155-3157
(=>
(
codeMapping
ISO-3166-1-alpha-2
?TOKEN ?X)
(
and
(
instance
?X
GeographicArea
)
(
instance
?TOKEN
AlphabeticString
)
(
stringLength
2 ?TOKEN)))
Media.kif 2624-2629
(=>
(
codeMapping
ISO-4217-A
?TOKEN ?CURRENCY)
(
currencyCode
?TOKEN ?CURRENCY))
Media.kif 2307-2309
(=>
(
codeMapping
ISO-4217-A
?TOKEN ?X)
(
and
(
instance
?X
UnitOfMeasure
)
(
stringLength
3 ?TOKEN)
(
instance
?TOKEN
AlphabeticString
)))
Media.kif 2277-2282
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
instance
?TOKEN
SymbolicString
))
Languages.kif 14715-14717
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
or
(
instance
?X
HumanLanguage
)
(
subclass
?X
HumanLanguage
)))
Languages.kif 14705-14709
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
stringLength
2 ?TOKEN))
Languages.kif 14711-14713
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
(=>
(
currencyCode
?TOKEN ?CURRENCY)
(
codeMapping
ISO-4217-A
?TOKEN ?CURRENCY))
Media.kif 2311-2313
appearance as argument number 0
(
codeMapping
ISO-3166-1-alpha-2
"AD"
Andorra
)
Media.kif 2631-2631
(
codeMapping
ISO-3166-1-alpha-2
"AE"
UnitedArabEmirates
)
Media.kif 2822-2822
(
codeMapping
ISO-3166-1-alpha-2
"AF"
Afghanistan
)
Media.kif 2632-2632
(
codeMapping
ISO-3166-1-alpha-2
"AG"
AntiguaAndBarbuda
)
Media.kif 2633-2633
(
codeMapping
ISO-3166-1-alpha-2
"AI"
Anguilla
)
Media.kif 2830-2830
(
codeMapping
ISO-3166-1-alpha-2
"AL"
Albania
)
Media.kif 2634-2634
(
codeMapping
ISO-3166-1-alpha-2
"AM"
Armenia
)
Media.kif 2635-2635
(
codeMapping
ISO-3166-1-alpha-2
"AN"
NetherlandsAntilles
)
Media.kif 2855-2855
(
codeMapping
ISO-3166-1-alpha-2
"AO"
Angola
)
Media.kif 2636-2636
(
codeMapping
ISO-3166-1-alpha-2
"AQ"
Antarctica
)
Media.kif 2831-2831
(
codeMapping
ISO-3166-1-alpha-2
"AR"
Argentina
)
Media.kif 2637-2637
(
codeMapping
ISO-3166-1-alpha-2
"AS"
AmericanSamoa
)
Media.kif 2829-2829
(
codeMapping
ISO-3166-1-alpha-2
"AT"
Austria
)
Media.kif 2638-2638
(
codeMapping
ISO-3166-1-alpha-2
"AU"
Australia
)
Media.kif 2639-2639
(
codeMapping
ISO-3166-1-alpha-2
"AW"
Aruba
)
Media.kif 2832-2832
(
codeMapping
ISO-3166-1-alpha-2
"AX"
AalandIslands
)
Media.kif 2640-2640
(
codeMapping
ISO-3166-1-alpha-2
"AZ"
Azerbaijan
)
Media.kif 2641-2641
(
codeMapping
ISO-3166-1-alpha-2
"BA"
BosniaAndHerzegovina
)
Media.kif 2642-2642
(
codeMapping
ISO-3166-1-alpha-2
"BB"
Barbados
)
Media.kif 2643-2643
(
codeMapping
ISO-3166-1-alpha-2
"BD"
Bangladesh
)
Media.kif 2644-2644
(
codeMapping
ISO-3166-1-alpha-2
"BE"
Belgium
)
Media.kif 2645-2645
(
codeMapping
ISO-3166-1-alpha-2
"BF"
BurkinaFaso
)
Media.kif 2646-2646
(
codeMapping
ISO-3166-1-alpha-2
"BG"
Bulgaria
)
Media.kif 2647-2647
(
codeMapping
ISO-3166-1-alpha-2
"BH"
Bahrain
)
Media.kif 2648-2648
(
codeMapping
ISO-3166-1-alpha-2
"BI"
Burundi
)
Media.kif 2649-2649
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