Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 29122-29125
(
domain
conventionalShortName
1
SymbolicString
)
Mid-level-ontology.kif 29127-29127
The number 1 argument of
conventional short name
is an
instance
of
symbolic string
(
domain
conventionalShortName
2
Entity
)
Mid-level-ontology.kif 29128-29128
The number 2 argument of
conventional short name
is an
instance
of
entity
(
instance
conventionalShortName
BinaryPredicate
)
Mid-level-ontology.kif 29120-29120
conventional short name
is an
instance
of
binary predicate
(
subrelation
conventionalShortName
names
)
Mid-level-ontology.kif 29129-29129
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 29134-29134
abbreviation
is a
subrelation
of
conventional short name
(
termFormat
ChineseLanguage
conventionalShortName
"传统的短名称")
domainEnglishFormat.kif 17115-17115
abbreviation
is a
subrelation
of
conventional short name
(
termFormat
ChineseTraditionalLanguage
conventionalShortName
"傳統的短名稱")
domainEnglishFormat.kif 17114-17114
abbreviation
is a
subrelation
of
conventional short name
(
termFormat
EnglishLanguage
conventionalShortName
"acronym")
Mid-level-ontology.kif 29158-29158
abbreviation
is a
subrelation
of
conventional short name
(
termFormat
EnglishLanguage
conventionalShortName
"conventional short name")
domainEnglishFormat.kif 17113-17113
abbreviation
is a
subrelation
of
conventional short name
appearance as argument number 0
(
conventionalShortName
"Ac"
Actinium
)
Mid-level-ontology.kif 30728-30728
Actinium
is a
conventional
short name of "Ac"
(
conventionalShortName
"Ag"
Silver
)
Mid-level-ontology.kif 29965-29965
Silver
is a
conventional
short name of "Ag"
(
conventionalShortName
"Air Pollution"
AirPollutionConvention
)
Geography.kif 3300-3300
Air pollution convention
is a
conventional
short name of "Air Pollution"
(
conventionalShortName
"Al"
Aluminum
)
Mid-level-ontology.kif 29394-29394
Aluminum
is a
conventional
short name of "Al"
(
conventionalShortName
"Am"
Americium
)
Mid-level-ontology.kif 30834-30834
Americium
is a
conventional
short name of "Am"
(
conventionalShortName
"Antarctic Seals"
AntarcticSealsConvention
)
Geography.kif 3346-3346
Antarctic seals convention
is a
conventional
short name of "Antarctic Seals"
(
conventionalShortName
"Antarctic_Marine Living Resources"
Antarctic_MarineLivingResourcesConvention
)
Geography.kif 3340-3340
Antarctic marine living resources convention
is a
conventional
short name of "Antarctic_Marine Living Resources"
(
conventionalShortName
"Ar"
Argon
)
Mid-level-ontology.kif 29477-29477
Argon
is a
conventional
short name of "Ar"
(
conventionalShortName
"As"
Arsenic
)
Mid-level-ontology.kif 29725-29725
Arsenic
is a
conventional
short name of "As"
(
conventionalShortName
"At"
Astatine
)
Mid-level-ontology.kif 30661-30661
Astatine
is a
conventional
short name of "At"
(
conventionalShortName
"Au"
Gold
)
Mid-level-ontology.kif 30550-30550
Gold
is a
conventional
short name of "Au"
(
conventionalShortName
"B"
Boron
)
Mid-level-ontology.kif 29250-29250
Boron
is a
conventional
short name of "B"
(
conventionalShortName
"Ba"
Barium
)
Mid-level-ontology.kif 30122-30122
Barium
is a
conventional
short name of "Ba"
(
conventionalShortName
"Basel Convention"
HazardousWastesConvention
)
Geography.kif 3407-3407
Hazardous wastes convention
is a
conventional
short name of "Basel Convention"
(
conventionalShortName
"Be"
Beryllium
)
Mid-level-ontology.kif 29234-29234
Beryllium
is a
conventional
short name of "Be"
(
conventionalShortName
"Bi"
Bismuth
)
Mid-level-ontology.kif 30626-30626
Bismuth
is a
conventional
short name of "Bi"
(
conventionalShortName
"Bk"
Berkelium
)
Mid-level-ontology.kif 30868-30868
Berkelium
is a
conventional
short name of "Bk"
(
conventionalShortName
"Border Patrol"
USCustomsAndBorderProtection
)
Government.kif 4761-4761
US customs and border protection
is a
conventional
short name of "Border Patrol"
(
conventionalShortName
"Br"
Bromine
)
Mid-level-ontology.kif 29756-29756
Bromine
is a
conventional
short name of "Br"
(
conventionalShortName
"C"
Carbon
)
Mid-level-ontology.kif 29269-29269
Carbon
is a
conventional
short name of "C"
(
conventionalShortName
"Ca"
Calcium
)
Mid-level-ontology.kif 29508-29508
Calcium
is a
conventional
short name of "Ca"
(
conventionalShortName
"Cd"
Cadmium
)
Mid-level-ontology.kif 29980-29980
Cadmium
is a
conventional
short name of "Cd"
(
conventionalShortName
"Ce"
Cerium
)
Mid-level-ontology.kif 30158-30158
Cerium
is a
conventional
short name of "Ce"
(
conventionalShortName
"Cf"
Californium
)
Mid-level-ontology.kif 30885-30885
Californium
is a
conventional
short name of "Cf"
(
conventionalShortName
"Cl"
Chlorine
)
Mid-level-ontology.kif 29460-29460
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