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
localShortName
Sigma KEE - localShortName
localShortName
appearance as argument number 1
(
documentation
localShortName
EnglishLanguage
"(localShortName ?NAME ?THING) means that the string ?NAME is the short form of the name used for ?THING in its local area or language.")
Mid-level-ontology.kif 14759-14761
(
domain
localShortName
1
SymbolicString
)
Mid-level-ontology.kif 14764-14764
The number 1 argument of
local short name
is an
instance
of
symbolic string
(
domain
localShortName
2
Entity
)
Mid-level-ontology.kif 14765-14765
The number 2 argument of
local short name
is an
instance
of
entity
(
instance
localShortName
BinaryPredicate
)
Mid-level-ontology.kif 14763-14763
local short name
is an
instance
of
binary predicate
(
subrelation
localShortName
names
)
Mid-level-ontology.kif 14762-14762
local short name
is a
subrelation
of
names
appearance as argument number 2
(
format
ChineseLanguage
localShortName
"%2 %n 是 %1 的 local 简称")
domainEnglishFormat.kif 1563-1563
(
format
ChineseTraditionalLanguage
localShortName
"%2 %n 是 %1 的 local 簡稱")
domainEnglishFormat.kif 1562-1562
(
format
EnglishLanguage
localShortName
"%2 is %n a local short name of %1")
domainEnglishFormat.kif 1561-1561
(
termFormat
ChineseLanguage
localShortName
"本地简称")
domainEnglishFormat.kif 34853-34853
(
termFormat
ChineseTraditionalLanguage
localShortName
"本地簡稱")
domainEnglishFormat.kif 34852-34852
(
termFormat
EnglishLanguage
localShortName
"local short name")
domainEnglishFormat.kif 34851-34851
appearance as argument number 0
(
localShortName
"ALADI"
LatinAmericanIntegrationAssociation
)
Government.kif 3640-3640
Latin american integration association
is a
local
short name of "ALADI"
(
localShortName
"BAD"
AfricanDevelopmentBank
)
Government.kif 2756-2756
African development bank
is a
local
short name of "BAD"
(
localShortName
"BADEA"
ArabBankForEconomicDevelopmentInAfrica
)
Government.kif 2811-2811
Arab bank for economic development in africa
is a
local
short name of "BADEA"
(
localShortName
"BID"
InterAmericanDevelopmentBank
)
Government.kif 3384-3384
Inter american development bank
is a
local
short name of "BID"
(
localShortName
"BOAD"
WestAfricanDevelopmentBank
)
Government.kif 4297-4297
West african development bank
is a
local
short name of "BOAD"
(
localShortName
"OPANAL"
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
)
Government.kif 2777-2777
Agency for the prohibition of nuclear weapons in latin america and the caribbean
is a
local
short name of "OPANAL"
(
localShortName
"SELA"
LatinAmericanEconomicSystem
)
Government.kif 3631-3631
Latin american economic system
is a
local
short name of "SELA"
(
localShortName
"WAEMU"
WestAfricanEconomicAndMonetaryUnion
)
Government.kif 4306-4306
West african economic and monetary union
is a
local
short name of "WAEMU"
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