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 27254-27257
(
domain
conventionalShortName
1
SymbolicString
)
Mid-level-ontology.kif 27259-27259
O argumento numero 1 de
conventionalShortName
e' uma
instancia
de
Sequencia Simbolica
(
domain
conventionalShortName
2
Entity
)
Mid-level-ontology.kif 27260-27260
O argumento numero 2 de
conventionalShortName
e' uma
instancia
de
Entidade
(
instance
conventionalShortName
BinaryPredicate
)
Mid-level-ontology.kif 27252-27252
conventionalShortName
e' uma
instancia
de
Predicado Binario
(
subrelation
conventionalShortName
names
)
Mid-level-ontology.kif 27261-27261
conventionalShortName
e' uma
sub
-relacao de
names
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 27266-27266
abbreviation
e' uma
sub
-relacao de
conventionalShortName
(
termFormat
ChineseLanguage
conventionalShortName
"传统的短名称")
domainEnglishFormat.kif 17106-17106
(
termFormat
ChineseTraditionalLanguage
conventionalShortName
"傳統的短名稱")
domainEnglishFormat.kif 17105-17105
(
termFormat
EnglishLanguage
conventionalShortName
"acronym")
Mid-level-ontology.kif 27290-27290
(
termFormat
EnglishLanguage
conventionalShortName
"conventional short name")
domainEnglishFormat.kif 17104-17104
appearance as argument number 0
(
conventionalShortName
"Ac"
Actinium
)
Mid-level-ontology.kif 28860-28860
conventionalShortName
"Ac" and
Actinium
(
conventionalShortName
"Ag"
Silver
)
Mid-level-ontology.kif 28097-28097
conventionalShortName
"Ag" and
Silver
(
conventionalShortName
"Air Pollution"
AirPollutionConvention
)
Geography.kif 3142-3142
conventionalShortName
"Air Pollution" and
AirPollutionConvention
(
conventionalShortName
"Al"
Aluminum
)
Mid-level-ontology.kif 27526-27526
conventionalShortName
"Al" and
Aluminum
(
conventionalShortName
"Am"
Americium
)
Mid-level-ontology.kif 28966-28966
conventionalShortName
"Am" and
Americium
(
conventionalShortName
"Antarctic Seals"
AntarcticSealsConvention
)
Geography.kif 3188-3188
conventionalShortName
"Antarctic Seals" and
AntarcticSealsConvention
(
conventionalShortName
"Antarctic-Marine Living Resources"
Antarctic-MarineLivingResourcesConvention
)
Geography.kif 3182-3182
conventionalShortName
"Antarctic-Marine Living Resources" and
Antarctic-MarineLivingResourcesConvention
(
conventionalShortName
"Ar"
Argon
)
Mid-level-ontology.kif 27609-27609
conventionalShortName
"Ar" and
Argon
(
conventionalShortName
"As"
Arsenic
)
Mid-level-ontology.kif 27857-27857
conventionalShortName
"As" and
Arsenic
(
conventionalShortName
"At"
Astatine
)
Mid-level-ontology.kif 28793-28793
conventionalShortName
"At" and
Astatine
(
conventionalShortName
"Au"
Gold
)
Mid-level-ontology.kif 28682-28682
conventionalShortName
"Au" and
Gold
(
conventionalShortName
"B"
Boron
)
Mid-level-ontology.kif 27382-27382
conventionalShortName
"B" and
Boron
(
conventionalShortName
"Ba"
Barium
)
Mid-level-ontology.kif 28254-28254
conventionalShortName
"Ba" and
Barium
(
conventionalShortName
"Basel Convention"
HazardousWastesConvention
)
Geography.kif 3249-3249
conventionalShortName
"Basel Convention" and
HazardousWastesConvention
(
conventionalShortName
"Be"
Beryllium
)
Mid-level-ontology.kif 27366-27366
conventionalShortName
"Be" and
Beryllium
(
conventionalShortName
"Bi"
Bismuth
)
Mid-level-ontology.kif 28758-28758
conventionalShortName
"Bi" and
Bismuth
(
conventionalShortName
"Bk"
Berkelium
)
Mid-level-ontology.kif 29000-29000
conventionalShortName
"Bk" and
Berkelium
(
conventionalShortName
"Border Patrol"
USCustomsAndBorderProtection
)
Government.kif 4764-4764
conventionalShortName
"Border Patrol" and
USCustomsAndBorderProtection
(
conventionalShortName
"Br"
Bromine
)
Mid-level-ontology.kif 27888-27888
conventionalShortName
"Br" and
Bromine
(
conventionalShortName
"C"
Carbon
)
Mid-level-ontology.kif 27401-27401
conventionalShortName
"C" and
Carbon
(
conventionalShortName
"Ca"
Calcium
)
Mid-level-ontology.kif 27640-27640
conventionalShortName
"Ca" and
Calcium
(
conventionalShortName
"Cd"
Cadmium
)
Mid-level-ontology.kif 28112-28112
conventionalShortName
"Cd" and
Cadmium
(
conventionalShortName
"Ce"
Cerium
)
Mid-level-ontology.kif 28290-28290
conventionalShortName
"Ce" and
Cerium
(
conventionalShortName
"Cf"
Californium
)
Mid-level-ontology.kif 29017-29017
conventionalShortName
"Cf" and
Californium
(
conventionalShortName
"Cl"
Chlorine
)
Mid-level-ontology.kif 27592-27592
conventionalShortName
"Cl" and
Chlorine
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
conventionalShortName