Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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
codeMapping
的 1 数量 是
CodeMap
的
instance
(
domain
codeMapping
2
SymbolicString
)
Media.kif 2267-2267
codeMapping
的 2 数量 是
符号串
的
instance
(
domain
codeMapping
3
Entity
)
Media.kif 2268-2268
codeMapping
的 3 数量 是
实体
的
instance
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Gene.png")
pictureList.kif 10647-10647
codeMapping
的 3 数量 是
实体
的
instance
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ FortranCodingForm.agr.jpg")
pictureList.kif 10648-10648
codeMapping
的 3 数量 是
实体
的
instance
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Linotype_distributor_rail_coding.png")
pictureList.kif 10646-10646
codeMapping
的 3 数量 是
实体
的
instance
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ DSC_4050-MR_Braille.jpg")
pictureList.kif 10656-10656
codeMapping
的 3 数量 是
实体
的
instance
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ ColorAlphabetExample.png")
pictureList.kif 10650-10650
codeMapping
的 3 数量 是
实体
的
instance
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Burnt_in_timecode.jpg")
pictureList.kif 10652-10652
codeMapping
的 3 数量 是
实体
的
instance
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/6/6b/ Unicode_sample.png")
pictureList.kif 10653-10653
codeMapping
的 3 数量 是
实体
的
instance
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/a/a1/ Amercode.png")
pictureList.kif 10651-10651
codeMapping
的 3 数量 是
实体
的
instance
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/c/c8/ Unicodeconsortium_bookv5.jpg")
pictureList.kif 10654-10654
codeMapping
的 3 数量 是
实体
的
instance
(
instance
codeMapping
TernaryPredicate
)
Media.kif 2265-2265
codeMapping
是
三元谓语
的
instance
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
如果
符号串
在
ISO_4217_A
denotes
UnitOfCurrency
和
另一个 符号串
在
ISO_3166_1_alpha_2
denotes
地缘政治区域
和
那个 地缘政治区域
是
地缘政治区域
的
instance
和
equal
那个 另外 符号串
and
那个 符号串
的
sub
-string 从 0 对于 2 ,
然后
那个 UnitOfCurrency
是
那个 地缘政治区域
的
currency
类别
(=>
(
and
(
instance
?CM
AirlineCodeMap
)
(
codeMapping
?CM ?STR ?AIR))
(
and
(
instance
?AIR
Airline
)
(
represents
?STR ?AIR)))
Transportation.kif 4041-4047
如果
CodeMap
是
AirlineCodeMap
的
instance
和
符号串
在
那个 CodeMap
denotes
实体
,
然后
那个 实体
是
Airline
的
instance
和
那个 符号串
表达
那个 实体
(=>
(
codeMapping
?MAP ?TOKEN ?X)
(
represents
?TOKEN ?X))
Media.kif 2274-2276
如果
符号串
在
CodeMap
denotes
实体
,
然后
那个 符号串
表达
那个 实体
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
equal
3
(
StringLengthFn
?STR)))
Transportation.kif 4071-4073
如果
符号串
在
IACOAirlineCode
denotes
实体
,
然后
equal
3 and
那个 符号串
的
length
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalCivilAviationOrganization
))
Transportation.kif 4067-4069
如果
符号串
在
IACOAirlineCode
denotes
物理
,
然后
那个 物理
是
国际民航组织
的
member
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
equal
2
(
StringLengthFn
?STR)))
Transportation.kif 4058-4060
如果
符号串
在
IATAAirlineCode
denotes
实体
,
然后
equal
2 and
那个 符号串
的
length
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalAirTransportAssociation
))
Transportation.kif 4054-4056
如果
符号串
在
IATAAirlineCode
denotes
物理
,
然后
那个 物理
是
InternationalAirTransportAssociation
的
member
(=>
(
codeMapping
ISO_3166_1_alpha_2
?TOKEN ?X)
(
and
(
instance
?X
GeographicArea
)
(
instance
?TOKEN
AlphabeticString
)
(
stringLength
2 ?TOKEN)))
Media.kif 2638-2643
如果
符号串
在
ISO_3166_1_alpha_2
denotes
实体
,
然后
那个 实体
是
地理区域
的
instance
和
那个 符号串
是
AlphabeticString
的
instance
和
那个 符号串
是 2
characters
long
(=>
(
codeMapping
ISO_4217_A
?TOKEN ?CURRENCY)
(
currencyCode
?TOKEN ?CURRENCY))
Media.kif 2318-2320
如果
符号串
在
ISO_4217_A
denotes
UnitOfCurrency
,
然后
那个 UnitOfCurrency
是
那个 符号串
的
currency
代码
(=>
(
codeMapping
ISO_4217_A
?TOKEN ?X)
(
and
(
instance
?X
UnitOfMeasure
)
(
stringLength
3 ?TOKEN)
(
instance
?TOKEN
AlphabeticString
)))
Media.kif 2288-2293
如果
符号串
在
ISO_4217_A
denotes
实体
,
然后
那个 实体
是
测量单位
的
instance
和
那个 符号串
是 3
characters
long
和
那个 符号串
是
AlphabeticString
的
instance
(=>
(
codeMapping
ISO_639_1
?TOKEN ?X)
(
instance
?TOKEN
SymbolicString
))
Languages.kif 14715-14717
如果
符号串
在
ISO_639_1
denotes
实体
,
然后
那个 符号串
是
符号串
的
instance
(=>
(
codeMapping
ISO_639_1
?TOKEN ?X)
(
or
(
instance
?X
HumanLanguage
)
(
instance
?X
(
subclass
?CLASS
HumanLanguage
))))
Languages.kif 14705-14709
如果
符号串
在
ISO_639_1
denotes
实体
,
然后
那个 实体
是
人类语言
的
instance
或
那个 实体
是
另一个 实体
是
人类语言
的
subclass
的
instance
(=>
(
codeMapping
ISO_639_1
?TOKEN ?X)
(
stringLength
2 ?TOKEN))
Languages.kif 14711-14713
如果
符号串
在
ISO_639_1
denotes
实体
,
然后
那个 符号串
是 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
如果
客体
是
DigitalDataStorageDevice
的
instance
和
符号串
是
那个 客体
的
part
和
那个 符号串
是
数字数据
的
instance
,
然后 有存在
CodeMap
,
串列
, and 和
实体
这样
那个 符号串
在
那个 CodeMap
denotes
那个 实体
和
那个 串列
表达
那个 CodeMap
和
如果
那个 实体
是
那个 串列
的
member
,
然后
那个 实体
是
二进制数
的
instance
(=>
(
currencyCode
?TOKEN ?CURRENCY)
(
codeMapping
ISO_4217_A
?TOKEN ?CURRENCY))
Media.kif 2322-2324
如果
UnitOfCurrency
是
符号串
的
currency
代码,
然后
那个 符号串
在
ISO_4217_A
denotes
那个 UnitOfCurrency
appearance as argument number 0
(
codeMapping
ISO_3166_1_alpha_2
"AD"
Andorra
)
Media.kif 2645-2645
"AD" 在
ISO_3166_1_alpha_2
denotes
安道尔
(
codeMapping
ISO_3166_1_alpha_2
"AE"
UnitedArabEmirates
)
Media.kif 2836-2836
"AE" 在
ISO_3166_1_alpha_2
denotes
阿拉伯联合酋长国
(
codeMapping
ISO_3166_1_alpha_2
"AF"
Afghanistan
)
Media.kif 2646-2646
"AF" 在
ISO_3166_1_alpha_2
denotes
阿富汗
(
codeMapping
ISO_3166_1_alpha_2
"AG"
AntiguaAndBarbuda
)
Media.kif 2647-2647
"AG" 在
ISO_3166_1_alpha_2
denotes
安提瓜和巴布达
(
codeMapping
ISO_3166_1_alpha_2
"AI"
Anguilla
)
Media.kif 2844-2844
"AI" 在
ISO_3166_1_alpha_2
denotes
安圭拉
(
codeMapping
ISO_3166_1_alpha_2
"AL"
Albania
)
Media.kif 2648-2648
"AL" 在
ISO_3166_1_alpha_2
denotes
阿尔巴尼亚
(
codeMapping
ISO_3166_1_alpha_2
"AM"
Armenia
)
Media.kif 2649-2649
"AM" 在
ISO_3166_1_alpha_2
denotes
亚美尼亚
(
codeMapping
ISO_3166_1_alpha_2
"AN"
NetherlandsAntilles
)
Media.kif 2869-2869
"AN" 在
ISO_3166_1_alpha_2
denotes
荷属安的列斯
(
codeMapping
ISO_3166_1_alpha_2
"AO"
Angola
)
Media.kif 2650-2650
"AO" 在
ISO_3166_1_alpha_2
denotes
安哥拉
(
codeMapping
ISO_3166_1_alpha_2
"AQ"
Antarctica
)
Media.kif 2845-2845
"AQ" 在
ISO_3166_1_alpha_2
denotes
南极洲
(
codeMapping
ISO_3166_1_alpha_2
"AR"
Argentina
)
Media.kif 2651-2651
"AR" 在
ISO_3166_1_alpha_2
denotes
阿根廷
(
codeMapping
ISO_3166_1_alpha_2
"AS"
AmericanSamoa
)
Media.kif 2843-2843
"AS" 在
ISO_3166_1_alpha_2
denotes
美国萨摩亚
(
codeMapping
ISO_3166_1_alpha_2
"AT"
Austria
)
Media.kif 2652-2652
"AT" 在
ISO_3166_1_alpha_2
denotes
奥地利
(
codeMapping
ISO_3166_1_alpha_2
"AU"
Australia
)
Media.kif 2653-2653
"AU" 在
ISO_3166_1_alpha_2
denotes
澳大利亚
(
codeMapping
ISO_3166_1_alpha_2
"AW"
Aruba
)
Media.kif 2846-2846
"AW" 在
ISO_3166_1_alpha_2
denotes
阿鲁巴
(
codeMapping
ISO_3166_1_alpha_2
"AX"
AalandIslands
)
Media.kif 2654-2654
"AX" 在
ISO_3166_1_alpha_2
denotes
AalandIslands
(
codeMapping
ISO_3166_1_alpha_2
"AZ"
Azerbaijan
)
Media.kif 2655-2655
"AZ" 在
ISO_3166_1_alpha_2
denotes
阿塞拜疆
(
codeMapping
ISO_3166_1_alpha_2
"BA"
BosniaAndHerzegovina
)
Media.kif 2656-2656
"BA" 在
ISO_3166_1_alpha_2
denotes
波斯尼亚和黑塞哥维那
(
codeMapping
ISO_3166_1_alpha_2
"BB"
Barbados
)
Media.kif 2657-2657
"BB" 在
ISO_3166_1_alpha_2
denotes
巴巴多斯
(
codeMapping
ISO_3166_1_alpha_2
"BD"
Bangladesh
)
Media.kif 2658-2658
"BD" 在
ISO_3166_1_alpha_2
denotes
孟加拉国
(
codeMapping
ISO_3166_1_alpha_2
"BE"
Belgium
)
Media.kif 2659-2659
"BE" 在
ISO_3166_1_alpha_2
denotes
比利时
(
codeMapping
ISO_3166_1_alpha_2
"BF"
BurkinaFaso
)
Media.kif 2660-2660
"BF" 在
ISO_3166_1_alpha_2
denotes
布基纳法索
(
codeMapping
ISO_3166_1_alpha_2
"BG"
Bulgaria
)
Media.kif 2661-2661
"BG" 在
ISO_3166_1_alpha_2
denotes
保加利亚
(
codeMapping
ISO_3166_1_alpha_2
"BH"
Bahrain
)
Media.kif 2662-2662
"BH" 在
ISO_3166_1_alpha_2
denotes
巴林
(
codeMapping
ISO_3166_1_alpha_2
"BI"
Burundi
)
Media.kif 2663-2663
"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