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 数量 是
CodeMap
的
instance
(
domain
codeMapping
2
SymbolicString
)
Media.kif 2265-2265
codeMapping
的 2 数量 是
符号串
的
instance
(
domain
codeMapping
3
Entity
)
Media.kif 2266-2266
codeMapping
的 3 数量 是
实体
的
instance
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Gene.png")
pictureList.kif 10651-10651
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ FortranCodingForm.agr.jpg")
pictureList.kif 10652-10652
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Linotype_distributor_rail_coding.png")
pictureList.kif 10650-10650
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ DSC_4050-MR-Braille.jpg")
pictureList.kif 10660-10660
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ ColorAlphabetExample.png")
pictureList.kif 10654-10654
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Burnt-in_timecode.jpg")
pictureList.kif 10656-10656
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/6/6b/ Unicode_sample.png")
pictureList.kif 10657-10657
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/a/a1/ Amercode.png")
pictureList.kif 10655-10655
(
externalImage
codeMapping
"http://upload.wikimedia.org/wikipedia/en/c/c8/ Unicodeconsortium_bookv5.jpg")
pictureList.kif 10658-10658
(
instance
codeMapping
TernaryPredicate
)
Media.kif 2263-2263
codeMapping
是
三元谓语
的
instance
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 65804-65804
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
如果
符号串
在
ISO-4217-A
denotes
UnitOfCurrency
和
另一个 符号串
在
ISO-3166-1-alpha-2
denotes
地缘政治区域
和
那个 地缘政治区域
是
地缘政治区域
的
instance
和
那个 另外 符号串
equal
那个 符号串
的
sub
-string 从 0 对于 2 ,
然后
那个 UnitOfCurrency
是
那个 地缘政治区域
的
currency
类别
(=>
(
and
(
instance
?CM
AirlineCodeMap
)
(
codeMapping
?CM ?STR ?AIR))
(
and
(
instance
?AIR
Airline
)
(
represents
?STR ?AIR)))
Transportation.kif 3135-3141
如果
CodeMap
是
AirlineCodeMap
的
instance
和
符号串
在
那个 CodeMap
denotes
实体
,
然后
那个 实体
是
Airline
的
instance
和
那个 符号串
表达
那个 实体
(=>
(
codeMapping
?MAP ?TOKEN ?X)
(
represents
?TOKEN ?X))
Media.kif 2272-2274
如果
符号串
在
CodeMap
denotes
实体
,
然后
那个 符号串
表达
那个 实体
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
equal
3
(
StringLengthFn
?STR)))
Transportation.kif 3165-3167
如果
符号串
在
IACOAirlineCode
denotes
实体
,
然后 3
equal
那个 符号串
的
length
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalCivilAviationOrganization
))
Transportation.kif 3161-3163
如果
符号串
在
IACOAirlineCode
denotes
物理
,
然后
那个 物理
是
国际民航组织
的
member
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
equal
2
(
StringLengthFn
?STR)))
Transportation.kif 3152-3154
如果
符号串
在
IATAAirlineCode
denotes
实体
,
然后 2
equal
那个 符号串
的
length
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalAirTransportAssociation
))
Transportation.kif 3148-3150
如果
符号串
在
IATAAirlineCode
denotes
物理
,
然后
那个 物理
是
InternationalAirTransportAssociation
的
member
(=>
(
codeMapping
ISO-3166-1-alpha-2
?TOKEN ?X)
(
and
(
instance
?X
GeographicArea
)
(
instance
?TOKEN
AlphabeticString
)
(
stringLength
2 ?TOKEN)))
Media.kif 2636-2641
如果
符号串
在
ISO-3166-1-alpha-2
denotes
实体
,
然后
那个 实体
是
地理区域
的
instance
和
那个 符号串
是
AlphabeticString
的
instance
和
那个 符号串
是 2
characters
long
(=>
(
codeMapping
ISO-4217-A
?TOKEN ?CURRENCY)
(
currencyCode
?TOKEN ?CURRENCY))
Media.kif 2316-2318
如果
符号串
在
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 2286-2291
如果
符号串
在
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 2320-2322
如果
UnitOfCurrency
是
符号串
的
currency
代码,
然后
那个 符号串
在
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