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
域
codeMapping
, 1 and
CodeMap
(
domain
codeMapping
2
SymbolicString
)
Media.kif 2265-2265
域
codeMapping
, 2 and
SymbolicString
(
domain
codeMapping
3
Entity
)
Media.kif 2266-2266
域
codeMapping
, 3 and
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
例
codeMapping
and
TernaryPredicate
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
SymbolicString
在
ISO-4217-A
denotes
UnitOfCurrency
SymbolicString
在
ISO-3166-1-alpha-2
denotes
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
等於
SymbolicString
and
SymbolicString
的
sub
-string 從 0 對於 2
UnitOfCurrency
是
GeopoliticalArea
的
currency
類別
(=>
(
and
(
instance
?CM
AirlineCodeMap
)
(
codeMapping
?CM ?STR ?AIR))
(
and
(
instance
?AIR
Airline
)
(
represents
?STR ?AIR)))
Transportation.kif 3135-3141
例
CodeMap
and
AirlineCodeMap
SymbolicString
在
CodeMap
denotes
Entity
例
Entity
and
Airline
代表
SymbolicString
and
Entity
(=>
(
codeMapping
?MAP ?TOKEN ?X)
(
represents
?TOKEN ?X))
Media.kif 2272-2274
SymbolicString
在
CodeMap
denotes
Entity
代表
SymbolicString
and
Entity
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
equal
3
(
StringLengthFn
?STR)))
Transportation.kif 3165-3167
SymbolicString
在
IACOAirlineCode
denotes
Entity
等於
3 and
SymbolicString
的
length
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalCivilAviationOrganization
))
Transportation.kif 3161-3163
SymbolicString
在
IACOAirlineCode
denotes
Physical
會員
Physical
and
國際民航組織
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
equal
2
(
StringLengthFn
?STR)))
Transportation.kif 3152-3154
SymbolicString
在
IATAAirlineCode
denotes
Entity
等於
2 and
SymbolicString
的
length
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalAirTransportAssociation
))
Transportation.kif 3148-3150
SymbolicString
在
IATAAirlineCode
denotes
Physical
會員
Physical
and
InternationalAirTransportAssociation
(=>
(
codeMapping
ISO-3166-1-alpha-2
?TOKEN ?X)
(
and
(
instance
?X
GeographicArea
)
(
instance
?TOKEN
AlphabeticString
)
(
stringLength
2 ?TOKEN)))
Media.kif 2636-2641
SymbolicString
在
ISO-3166-1-alpha-2
denotes
Entity
例
Entity
and
GeographicArea
例
SymbolicString
and
AlphabeticString
SymbolicString
是 2
characters
long
(=>
(
codeMapping
ISO-4217-A
?TOKEN ?CURRENCY)
(
currencyCode
?TOKEN ?CURRENCY))
Media.kif 2316-2318
SymbolicString
在
ISO-4217-A
denotes
UnitOfCurrency
UnitOfCurrency
是
SymbolicString
的
currency
代碼
(=>
(
codeMapping
ISO-4217-A
?TOKEN ?X)
(
and
(
instance
?X
UnitOfMeasure
)
(
stringLength
3 ?TOKEN)
(
instance
?TOKEN
AlphabeticString
)))
Media.kif 2286-2291
SymbolicString
在
ISO-4217-A
denotes
Entity
例
Entity
and
UnitOfMeasure
SymbolicString
是 3
characters
long
例
SymbolicString
and
AlphabeticString
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
instance
?TOKEN
SymbolicString
))
Languages.kif 14715-14717
SymbolicString
在
ISO-639-1
denotes
Entity
例
SymbolicString
and
SymbolicString
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
or
(
instance
?X
HumanLanguage
)
(
instance
?X
(
subclass
?CLASS
HumanLanguage
))))
Languages.kif 14705-14709
SymbolicString
在
ISO-639-1
denotes
Entity
例
Entity
and
HumanLanguage
例
Entity
and
子類
entity
and
HumanLanguage
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
stringLength
2 ?TOKEN))
Languages.kif 14711-14713
SymbolicString
在
ISO-639-1
denotes
Entity
SymbolicString
是 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
例
Object
and
DigitalDataStorageDevice
部分
SymbolicString
and
Object
例
SymbolicString
and
數字數據
CodeMap
List
and
Entity
SymbolicString
在
CodeMap
denotes
Entity
代表
List
and
CodeMap
在列表中
Entity
and
List
例
Entity
and
BinaryNumber
(=>
(
currencyCode
?TOKEN ?CURRENCY)
(
codeMapping
ISO-4217-A
?TOKEN ?CURRENCY))
Media.kif 2320-2322
UnitOfCurrency
是
SymbolicString
的
currency
代碼
SymbolicString
在
ISO-4217-A
denotes
UnitOfCurrency
appearance as argument number 0
(
codeMapping
ISO-3166-1-alpha-2
"AD"
Andorra
)
Media.kif 2643-2643
"AD" 在
ISO-3166-1-alpha-2
denotes
安道爾
(
codeMapping
ISO-3166-1-alpha-2
"AE"
UnitedArabEmirates
)
Media.kif 2834-2834
"AE" 在
ISO-3166-1-alpha-2
denotes
阿拉伯聯合酋長國
(
codeMapping
ISO-3166-1-alpha-2
"AF"
Afghanistan
)
Media.kif 2644-2644
"AF" 在
ISO-3166-1-alpha-2
denotes
阿富汗
(
codeMapping
ISO-3166-1-alpha-2
"AG"
AntiguaAndBarbuda
)
Media.kif 2645-2645
"AG" 在
ISO-3166-1-alpha-2
denotes
安提瓜和巴布達
(
codeMapping
ISO-3166-1-alpha-2
"AI"
Anguilla
)
Media.kif 2842-2842
"AI" 在
ISO-3166-1-alpha-2
denotes
安圭拉
(
codeMapping
ISO-3166-1-alpha-2
"AL"
Albania
)
Media.kif 2646-2646
"AL" 在
ISO-3166-1-alpha-2
denotes
阿爾巴尼亞
(
codeMapping
ISO-3166-1-alpha-2
"AM"
Armenia
)
Media.kif 2647-2647
"AM" 在
ISO-3166-1-alpha-2
denotes
亞美尼亞
(
codeMapping
ISO-3166-1-alpha-2
"AN"
NetherlandsAntilles
)
Media.kif 2867-2867
"AN" 在
ISO-3166-1-alpha-2
denotes
荷屬安的列斯
(
codeMapping
ISO-3166-1-alpha-2
"AO"
Angola
)
Media.kif 2648-2648
"AO" 在
ISO-3166-1-alpha-2
denotes
安哥拉
(
codeMapping
ISO-3166-1-alpha-2
"AQ"
Antarctica
)
Media.kif 2843-2843
"AQ" 在
ISO-3166-1-alpha-2
denotes
南極洲
(
codeMapping
ISO-3166-1-alpha-2
"AR"
Argentina
)
Media.kif 2649-2649
"AR" 在
ISO-3166-1-alpha-2
denotes
阿根廷
(
codeMapping
ISO-3166-1-alpha-2
"AS"
AmericanSamoa
)
Media.kif 2841-2841
"AS" 在
ISO-3166-1-alpha-2
denotes
美國薩摩亞
(
codeMapping
ISO-3166-1-alpha-2
"AT"
Austria
)
Media.kif 2650-2650
"AT" 在
ISO-3166-1-alpha-2
denotes
奧地利
(
codeMapping
ISO-3166-1-alpha-2
"AU"
Australia
)
Media.kif 2651-2651
"AU" 在
ISO-3166-1-alpha-2
denotes
澳大利亞
(
codeMapping
ISO-3166-1-alpha-2
"AW"
Aruba
)
Media.kif 2844-2844
"AW" 在
ISO-3166-1-alpha-2
denotes
阿魯巴
(
codeMapping
ISO-3166-1-alpha-2
"AX"
AalandIslands
)
Media.kif 2652-2652
"AX" 在
ISO-3166-1-alpha-2
denotes
AalandIslands
(
codeMapping
ISO-3166-1-alpha-2
"AZ"
Azerbaijan
)
Media.kif 2653-2653
"AZ" 在
ISO-3166-1-alpha-2
denotes
阿塞拜疆
(
codeMapping
ISO-3166-1-alpha-2
"BA"
BosniaAndHerzegovina
)
Media.kif 2654-2654
"BA" 在
ISO-3166-1-alpha-2
denotes
波斯尼亞和黑塞哥維那
(
codeMapping
ISO-3166-1-alpha-2
"BB"
Barbados
)
Media.kif 2655-2655
"BB" 在
ISO-3166-1-alpha-2
denotes
巴巴多斯
(
codeMapping
ISO-3166-1-alpha-2
"BD"
Bangladesh
)
Media.kif 2656-2656
"BD" 在
ISO-3166-1-alpha-2
denotes
孟加拉國
(
codeMapping
ISO-3166-1-alpha-2
"BE"
Belgium
)
Media.kif 2657-2657
"BE" 在
ISO-3166-1-alpha-2
denotes
比利時
(
codeMapping
ISO-3166-1-alpha-2
"BF"
BurkinaFaso
)
Media.kif 2658-2658
"BF" 在
ISO-3166-1-alpha-2
denotes
布基納法索
(
codeMapping
ISO-3166-1-alpha-2
"BG"
Bulgaria
)
Media.kif 2659-2659
"BG" 在
ISO-3166-1-alpha-2
denotes
保加利亞
(
codeMapping
ISO-3166-1-alpha-2
"BH"
Bahrain
)
Media.kif 2660-2660
"BH" 在
ISO-3166-1-alpha-2
denotes
巴林
(
codeMapping
ISO-3166-1-alpha-2
"BI"
Burundi
)
Media.kif 2661-2661
"BI" 在
ISO-3166-1-alpha-2
denotes
布隆迪
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