Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SSHWS1
SSHWS2
SSHWS3
SSHWS4
SSHWS5
SSHWSAttribute
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
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
(
domain
codeMapping
2
SymbolicString
)
Media.kif 2260-2260
(
domain
codeMapping
3
Entity
)
Media.kif 2261-2261
(
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
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
(=>
(
and
(
instance
?CM
AirlineCodeMap
)
(
codeMapping
?CM ?STR ?AIR))
(
and
(
instance
?AIR
Airline
)
(
represents
?STR ?AIR)))
Transportation.kif 3113-3119
(=>
(
codeMapping
?MAP ?TOKEN ?X)
(
represents
?TOKEN ?X))
Media.kif 2267-2269
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
equal
3
(
StringLengthFn
?STR)))
Transportation.kif 3143-3145
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalCivilAviationOrganization
))
Transportation.kif 3139-3141
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
equal
2
(
StringLengthFn
?STR)))
Transportation.kif 3130-3132
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalAirTransportAssociation
))
Transportation.kif 3126-3128
(=>
(
codeMapping
ISO-3166-1-alpha-2
?TOKEN ?X)
(
and
(
instance
?X
GeographicArea
)
(
instance
?TOKEN
AlphabeticString
)
(
stringLength
2 ?TOKEN)))
Media.kif 2606-2611
(=>
(
codeMapping
ISO-4217-A
?TOKEN ?CURRENCY)
(
currencyCode
?TOKEN ?CURRENCY))
Media.kif 2311-2313
(=>
(
codeMapping
ISO-4217-A
?TOKEN ?X)
(
and
(
instance
?X
UnitOfMeasure
)
(
stringLength
3 ?TOKEN)
(
instance
?TOKEN
AlphabeticString
)))
Media.kif 2281-2286
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
instance
?TOKEN
SymbolicString
))
Languages.kif 14693-14695
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
or
(
instance
?X
HumanLanguage
)
(
subclass
?X
HumanLanguage
)))
Languages.kif 14683-14687
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
stringLength
2 ?TOKEN))
Languages.kif 14689-14691
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 2315-2317
appearance as argument number 0
(
codeMapping
ISO-3166-1-alpha-2
"AD"
Andorra
)
Media.kif 2613-2613
(
codeMapping
ISO-3166-1-alpha-2
"AE"
UnitedArabEmirates
)
Media.kif 2804-2804
(
codeMapping
ISO-3166-1-alpha-2
"AF"
Afghanistan
)
Media.kif 2614-2614
(
codeMapping
ISO-3166-1-alpha-2
"AG"
AntiguaAndBarbuda
)
Media.kif 2615-2615
(
codeMapping
ISO-3166-1-alpha-2
"AI"
Anguilla
)
Media.kif 2812-2812
(
codeMapping
ISO-3166-1-alpha-2
"AL"
Albania
)
Media.kif 2616-2616
(
codeMapping
ISO-3166-1-alpha-2
"AM"
Armenia
)
Media.kif 2617-2617
(
codeMapping
ISO-3166-1-alpha-2
"AN"
NetherlandsAntilles
)
Media.kif 2837-2837
(
codeMapping
ISO-3166-1-alpha-2
"AO"
Angola
)
Media.kif 2618-2618
(
codeMapping
ISO-3166-1-alpha-2
"AQ"
Antarctica
)
Media.kif 2813-2813
(
codeMapping
ISO-3166-1-alpha-2
"AR"
Argentina
)
Media.kif 2619-2619
(
codeMapping
ISO-3166-1-alpha-2
"AS"
AmericanSamoa
)
Media.kif 2811-2811
(
codeMapping
ISO-3166-1-alpha-2
"AT"
Austria
)
Media.kif 2620-2620
(
codeMapping
ISO-3166-1-alpha-2
"AU"
Australia
)
Media.kif 2621-2621
(
codeMapping
ISO-3166-1-alpha-2
"AW"
Aruba
)
Media.kif 2814-2814
(
codeMapping
ISO-3166-1-alpha-2
"AX"
AalandIslands
)
Media.kif 2622-2622
(
codeMapping
ISO-3166-1-alpha-2
"AZ"
Azerbaijan
)
Media.kif 2623-2623
(
codeMapping
ISO-3166-1-alpha-2
"BA"
BosniaAndHerzegovina
)
Media.kif 2624-2624
(
codeMapping
ISO-3166-1-alpha-2
"BB"
Barbados
)
Media.kif 2625-2625
(
codeMapping
ISO-3166-1-alpha-2
"BD"
Bangladesh
)
Media.kif 2626-2626
(
codeMapping
ISO-3166-1-alpha-2
"BE"
Belgium
)
Media.kif 2627-2627
(
codeMapping
ISO-3166-1-alpha-2
"BF"
BurkinaFaso
)
Media.kif 2628-2628
(
codeMapping
ISO-3166-1-alpha-2
"BG"
Bulgaria
)
Media.kif 2629-2629
(
codeMapping
ISO-3166-1-alpha-2
"BH"
Bahrain
)
Media.kif 2630-2630
(
codeMapping
ISO-3166-1-alpha-2
"BI"
Burundi
)
Media.kif 2631-2631
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