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
No TPTP formula. May not be expressible in strict first order.
Media.kif 2267-2270
No TPTP formula. May not be expressible in strict first order.
Media.kif 2264-2264
域
codeMapping
, 1 and
CodeMap
No TPTP formula. May not be expressible in strict first order.
Media.kif 2265-2265
域
codeMapping
, 2 and
SymbolicString
No TPTP formula. May not be expressible in strict first order.
Media.kif 2266-2266
域
codeMapping
, 3 and
Entity
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10649-10649
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10650-10650
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10648-10648
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10658-10658
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10652-10652
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10654-10654
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10655-10655
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10653-10653
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10656-10656
No TPTP formula. May not be expressible in strict first order.
Media.kif 2263-2263
例
codeMapping
and
TernaryPredicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3018-3018
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3017-3017
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3016-3016
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 65792-65792
antecedent
No TPTP formula. May not be expressible in strict first order.
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
類別
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 3135-3141
例
CodeMap
and
AirlineCodeMap
SymbolicString
在
CodeMap
denotes
Entity
例
Entity
and
Airline
代表
SymbolicString
and
Entity
No TPTP formula. May not be expressible in strict first order.
Media.kif 2272-2274
SymbolicString
在
CodeMap
denotes
Entity
代表
SymbolicString
and
Entity
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 3165-3167
SymbolicString
在
IACOAirlineCode
denotes
Entity
等於
3 and
SymbolicString
的
length
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 3161-3163
SymbolicString
在
IACOAirlineCode
denotes
Physical
會員
Physical
and
國際民航組織
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 3152-3154
SymbolicString
在
IATAAirlineCode
denotes
Entity
等於
2 and
SymbolicString
的
length
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 3148-3150
SymbolicString
在
IATAAirlineCode
denotes
Physical
會員
Physical
and
InternationalAirTransportAssociation
No TPTP formula. May not be expressible in strict first order.
Media.kif 2636-2641
SymbolicString
在
ISO-3166-1-alpha-2
denotes
Entity
例
Entity
and
GeographicArea
例
SymbolicString
and
AlphabeticString
SymbolicString
是 2
characters
long
No TPTP formula. May not be expressible in strict first order.
Media.kif 2316-2318
SymbolicString
在
ISO-4217-A
denotes
UnitOfCurrency
UnitOfCurrency
是
SymbolicString
的
currency
代碼
No TPTP formula. May not be expressible in strict first order.
Media.kif 2286-2291
SymbolicString
在
ISO-4217-A
denotes
Entity
例
Entity
and
UnitOfMeasure
SymbolicString
是 3
characters
long
例
SymbolicString
and
AlphabeticString
No TPTP formula. May not be expressible in strict first order.
Languages.kif 14715-14717
SymbolicString
在
ISO-639-1
denotes
Entity
例
SymbolicString
and
SymbolicString
No TPTP formula. May not be expressible in strict first order.
Languages.kif 14705-14709
SymbolicString
在
ISO-639-1
denotes
Entity
例
Entity
and
HumanLanguage
例
Entity
and
子類
entity
and
HumanLanguage
No TPTP formula. May not be expressible in strict first order.
Languages.kif 14711-14713
SymbolicString
在
ISO-639-1
denotes
Entity
SymbolicString
是 2
characters
long
consequent
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Media.kif 2320-2322
UnitOfCurrency
是
SymbolicString
的
currency
代碼
SymbolicString
在
ISO-4217-A
denotes
UnitOfCurrency
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Media.kif 2643-2643
"AD" 在
ISO-3166-1-alpha-2
denotes
安道爾
No TPTP formula. May not be expressible in strict first order.
Media.kif 2834-2834
"AE" 在
ISO-3166-1-alpha-2
denotes
阿拉伯聯合酋長國
No TPTP formula. May not be expressible in strict first order.
Media.kif 2644-2644
"AF" 在
ISO-3166-1-alpha-2
denotes
阿富汗
No TPTP formula. May not be expressible in strict first order.
Media.kif 2645-2645
"AG" 在
ISO-3166-1-alpha-2
denotes
安提瓜和巴布達
No TPTP formula. May not be expressible in strict first order.
Media.kif 2842-2842
"AI" 在
ISO-3166-1-alpha-2
denotes
安圭拉
No TPTP formula. May not be expressible in strict first order.
Media.kif 2646-2646
"AL" 在
ISO-3166-1-alpha-2
denotes
阿爾巴尼亞
No TPTP formula. May not be expressible in strict first order.
Media.kif 2647-2647
"AM" 在
ISO-3166-1-alpha-2
denotes
亞美尼亞
No TPTP formula. May not be expressible in strict first order.
Media.kif 2867-2867
"AN" 在
ISO-3166-1-alpha-2
denotes
荷屬安的列斯
No TPTP formula. May not be expressible in strict first order.
Media.kif 2648-2648
"AO" 在
ISO-3166-1-alpha-2
denotes
安哥拉
No TPTP formula. May not be expressible in strict first order.
Media.kif 2843-2843
"AQ" 在
ISO-3166-1-alpha-2
denotes
南極洲
No TPTP formula. May not be expressible in strict first order.
Media.kif 2649-2649
"AR" 在
ISO-3166-1-alpha-2
denotes
阿根廷
No TPTP formula. May not be expressible in strict first order.
Media.kif 2841-2841
"AS" 在
ISO-3166-1-alpha-2
denotes
美國薩摩亞
No TPTP formula. May not be expressible in strict first order.
Media.kif 2650-2650
"AT" 在
ISO-3166-1-alpha-2
denotes
奧地利
No TPTP formula. May not be expressible in strict first order.
Media.kif 2651-2651
"AU" 在
ISO-3166-1-alpha-2
denotes
澳大利亞
No TPTP formula. May not be expressible in strict first order.
Media.kif 2844-2844
"AW" 在
ISO-3166-1-alpha-2
denotes
阿魯巴
No TPTP formula. May not be expressible in strict first order.
Media.kif 2652-2652
"AX" 在
ISO-3166-1-alpha-2
denotes
AalandIslands
No TPTP formula. May not be expressible in strict first order.
Media.kif 2653-2653
"AZ" 在
ISO-3166-1-alpha-2
denotes
阿塞拜疆
No TPTP formula. May not be expressible in strict first order.
Media.kif 2654-2654
"BA" 在
ISO-3166-1-alpha-2
denotes
波斯尼亞和黑塞哥維那
No TPTP formula. May not be expressible in strict first order.
Media.kif 2655-2655
"BB" 在
ISO-3166-1-alpha-2
denotes
巴巴多斯
No TPTP formula. May not be expressible in strict first order.
Media.kif 2656-2656
"BD" 在
ISO-3166-1-alpha-2
denotes
孟加拉國
No TPTP formula. May not be expressible in strict first order.
Media.kif 2657-2657
"BE" 在
ISO-3166-1-alpha-2
denotes
比利時
No TPTP formula. May not be expressible in strict first order.
Media.kif 2658-2658
"BF" 在
ISO-3166-1-alpha-2
denotes
布基納法索
No TPTP formula. May not be expressible in strict first order.
Media.kif 2659-2659
"BG" 在
ISO-3166-1-alpha-2
denotes
保加利亞
No TPTP formula. May not be expressible in strict first order.
Media.kif 2660-2660
"BH" 在
ISO-3166-1-alpha-2
denotes
巴林
No TPTP formula. May not be expressible in strict first order.
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