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
conventionalShortName
Sigma KEE - conventionalShortName
conventionalShortName
appearance as argument number 1
(
documentation
conventionalShortName
EnglishLanguage
"(
conventionalShortName
?NAME ?THING) means that the string ?NAME is the short form of the name conventionally used for ?THING. For a more specialized subset of short names, see
abbreviation
.")
Mid-level-ontology.kif 27221-27224
(
domain
conventionalShortName
1
SymbolicString
)
Mid-level-ontology.kif 27226-27226
域
傳統的短名稱
, 1 and
SymbolicString
(
domain
conventionalShortName
2
Entity
)
Mid-level-ontology.kif 27227-27227
域
傳統的短名稱
, 2 and
Entity
(
instance
conventionalShortName
BinaryPredicate
)
Mid-level-ontology.kif 27219-27219
例
傳統的短名稱
and
BinaryPredicate
(
subrelation
conventionalShortName
names
)
Mid-level-ontology.kif 27228-27228
子關係
傳統的短名稱
and
名
appearance as argument number 2
(
format
ChineseLanguage
conventionalShortName
"%2 %n 是 %1 的 conventional 简称")
domainEnglishFormat.kif 548-548
(
format
ChineseTraditionalLanguage
conventionalShortName
"%2 %n 是 %1 的 conventional 簡稱")
domainEnglishFormat.kif 547-547
(
format
EnglishLanguage
conventionalShortName
"%2 is %n a conventional short name of %1")
domainEnglishFormat.kif 546-546
(
subrelation
abbreviation
conventionalShortName
)
Mid-level-ontology.kif 27233-27233
子關係
縮寫
and
傳統的短名稱
(
termFormat
ChineseLanguage
conventionalShortName
"传统的短名称")
domainEnglishFormat.kif 17106-17106
(
termFormat
ChineseTraditionalLanguage
conventionalShortName
"傳統的短名稱")
domainEnglishFormat.kif 17105-17105
(
termFormat
EnglishLanguage
conventionalShortName
"acronym")
Mid-level-ontology.kif 27239-27239
(
termFormat
EnglishLanguage
conventionalShortName
"conventional short name")
domainEnglishFormat.kif 17104-17104
appearance as argument number 0
(
conventionalShortName
"Ac"
Actinium
)
Mid-level-ontology.kif 28809-28809
錒
是 "Ac" 的
conventional
簡稱
(
conventionalShortName
"Ag"
Silver
)
Mid-level-ontology.kif 28046-28046
銀
是 "Ag" 的
conventional
簡稱
(
conventionalShortName
"Air Pollution"
AirPollutionConvention
)
Geography.kif 3142-3142
空氣污染公約
是 "Air Pollution" 的
conventional
簡稱
(
conventionalShortName
"Al"
Aluminum
)
Mid-level-ontology.kif 27475-27475
鋁
是 "Al" 的
conventional
簡稱
(
conventionalShortName
"Am"
Americium
)
Mid-level-ontology.kif 28915-28915
銤
是 "Am" 的
conventional
簡稱
(
conventionalShortName
"Antarctic Seals"
AntarcticSealsConvention
)
Geography.kif 3188-3188
南極海豹公約
是 "Antarctic Seals" 的
conventional
簡稱
(
conventionalShortName
"Antarctic-Marine Living Resources"
Antarctic-MarineLivingResourcesConvention
)
Geography.kif 3182-3182
南極洲 - 海洋生物資源公約
是 "Antarctic-Marine Living Resources" 的
conventional
簡稱
(
conventionalShortName
"Ar"
Argon
)
Mid-level-ontology.kif 27558-27558
氬
是 "Ar" 的
conventional
簡稱
(
conventionalShortName
"As"
Arsenic
)
Mid-level-ontology.kif 27806-27806
砷
是 "As" 的
conventional
簡稱
(
conventionalShortName
"At"
Astatine
)
Mid-level-ontology.kif 28742-28742
砹
是 "At" 的
conventional
簡稱
(
conventionalShortName
"Au"
Gold
)
Mid-level-ontology.kif 28631-28631
金
是 "Au" 的
conventional
簡稱
(
conventionalShortName
"B"
Boron
)
Mid-level-ontology.kif 27331-27331
硼
是 "B" 的
conventional
簡稱
(
conventionalShortName
"Ba"
Barium
)
Mid-level-ontology.kif 28203-28203
鋇
是 "Ba" 的
conventional
簡稱
(
conventionalShortName
"Basel Convention"
HazardousWastesConvention
)
Geography.kif 3249-3249
危險廢物公約
是 "Basel Convention" 的
conventional
簡稱
(
conventionalShortName
"Be"
Beryllium
)
Mid-level-ontology.kif 27315-27315
鈹
是 "Be" 的
conventional
簡稱
(
conventionalShortName
"Bi"
Bismuth
)
Mid-level-ontology.kif 28707-28707
鉍
是 "Bi" 的
conventional
簡稱
(
conventionalShortName
"Bk"
Berkelium
)
Mid-level-ontology.kif 28949-28949
锫
是 "Bk" 的
conventional
簡稱
(
conventionalShortName
"Border Patrol"
USCustomsAndBorderProtection
)
Government.kif 4800-4800
美國海關和邊境保護局
是 "Border Patrol" 的
conventional
簡稱
(
conventionalShortName
"Br"
Bromine
)
Mid-level-ontology.kif 27837-27837
溴
是 "Br" 的
conventional
簡稱
(
conventionalShortName
"C"
Carbon
)
Mid-level-ontology.kif 27350-27350
碳
是 "C" 的
conventional
簡稱
(
conventionalShortName
"Ca"
Calcium
)
Mid-level-ontology.kif 27589-27589
鈣
是 "Ca" 的
conventional
簡稱
(
conventionalShortName
"Cd"
Cadmium
)
Mid-level-ontology.kif 28061-28061
鎘
是 "Cd" 的
conventional
簡稱
(
conventionalShortName
"Ce"
Cerium
)
Mid-level-ontology.kif 28239-28239
鈰
是 "Ce" 的
conventional
簡稱
(
conventionalShortName
"Cf"
Californium
)
Mid-level-ontology.kif 28966-28966
锎
是 "Cf" 的
conventional
簡稱
(
conventionalShortName
"Cl"
Chlorine
)
Mid-level-ontology.kif 27541-27541
氯
是 "Cl" 的
conventional
簡稱
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