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
The number 1 argument of
conventional short name
is an
instance
of
symbolic string
(
domain
conventionalShortName
2
Entity
)
Mid-level-ontology.kif 27227-27227
The number 2 argument of
conventional short name
is an
instance
of
entity
(
instance
conventionalShortName
BinaryPredicate
)
Mid-level-ontology.kif 27219-27219
conventional short name
is an
instance
of
binary predicate
(
subrelation
conventionalShortName
names
)
Mid-level-ontology.kif 27228-27228
conventional short name
is a
subrelation
of
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 27233-27233
abbreviation
is a
subrelation
of
conventional short name
(
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
Actinium
is a
conventional
short name of "Ac"
(
conventionalShortName
"Ag"
Silver
)
Mid-level-ontology.kif 28046-28046
Silver
is a
conventional
short name of "Ag"
(
conventionalShortName
"Air Pollution"
AirPollutionConvention
)
Geography.kif 3142-3142
Air pollution convention
is a
conventional
short name of "Air Pollution"
(
conventionalShortName
"Al"
Aluminum
)
Mid-level-ontology.kif 27475-27475
Aluminum
is a
conventional
short name of "Al"
(
conventionalShortName
"Am"
Americium
)
Mid-level-ontology.kif 28915-28915
Americium
is a
conventional
short name of "Am"
(
conventionalShortName
"Antarctic Seals"
AntarcticSealsConvention
)
Geography.kif 3188-3188
Antarctic seals convention
is a
conventional
short name of "Antarctic Seals"
(
conventionalShortName
"Antarctic-Marine Living Resources"
Antarctic-MarineLivingResourcesConvention
)
Geography.kif 3182-3182
Antarctic- marine living resources convention
is a
conventional
short name of "Antarctic-Marine Living Resources"
(
conventionalShortName
"Ar"
Argon
)
Mid-level-ontology.kif 27558-27558
Argon
is a
conventional
short name of "Ar"
(
conventionalShortName
"As"
Arsenic
)
Mid-level-ontology.kif 27806-27806
Arsenic
is a
conventional
short name of "As"
(
conventionalShortName
"At"
Astatine
)
Mid-level-ontology.kif 28742-28742
Astatine
is a
conventional
short name of "At"
(
conventionalShortName
"Au"
Gold
)
Mid-level-ontology.kif 28631-28631
Gold
is a
conventional
short name of "Au"
(
conventionalShortName
"B"
Boron
)
Mid-level-ontology.kif 27331-27331
Boron
is a
conventional
short name of "B"
(
conventionalShortName
"Ba"
Barium
)
Mid-level-ontology.kif 28203-28203
Barium
is a
conventional
short name of "Ba"
(
conventionalShortName
"Basel Convention"
HazardousWastesConvention
)
Geography.kif 3249-3249
Hazardous wastes convention
is a
conventional
short name of "Basel Convention"
(
conventionalShortName
"Be"
Beryllium
)
Mid-level-ontology.kif 27315-27315
Beryllium
is a
conventional
short name of "Be"
(
conventionalShortName
"Bi"
Bismuth
)
Mid-level-ontology.kif 28707-28707
Bismuth
is a
conventional
short name of "Bi"
(
conventionalShortName
"Bk"
Berkelium
)
Mid-level-ontology.kif 28949-28949
Berkelium
is a
conventional
short name of "Bk"
(
conventionalShortName
"Border Patrol"
USCustomsAndBorderProtection
)
Government.kif 4800-4800
US customs and border protection
is a
conventional
short name of "Border Patrol"
(
conventionalShortName
"Br"
Bromine
)
Mid-level-ontology.kif 27837-27837
Bromine
is a
conventional
short name of "Br"
(
conventionalShortName
"C"
Carbon
)
Mid-level-ontology.kif 27350-27350
Carbon
is a
conventional
short name of "C"
(
conventionalShortName
"Ca"
Calcium
)
Mid-level-ontology.kif 27589-27589
Calcium
is a
conventional
short name of "Ca"
(
conventionalShortName
"Cd"
Cadmium
)
Mid-level-ontology.kif 28061-28061
Cadmium
is a
conventional
short name of "Cd"
(
conventionalShortName
"Ce"
Cerium
)
Mid-level-ontology.kif 28239-28239
Cerium
is a
conventional
short name of "Ce"
(
conventionalShortName
"Cf"
Californium
)
Mid-level-ontology.kif 28966-28966
Californium
is a
conventional
short name of "Cf"
(
conventionalShortName
"Cl"
Chlorine
)
Mid-level-ontology.kif 27541-27541
Chlorine
is a
conventional
short name of "Cl"
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