Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 14223-14225
(
domain
localShortName
1
SymbolicString
)
Mid-level-ontology.kif 14228-14228
domain
localShortName
, 1 and
SymbolicString
(
domain
localShortName
2
Entity
)
Mid-level-ontology.kif 14229-14229
domain
localShortName
, 2 and
Entity
(
instance
localShortName
BinaryPredicate
)
Mid-level-ontology.kif 14227-14227
instance
localShortName
and
BinaryPredicate
(
subrelation
localShortName
names
)
Mid-level-ontology.kif 14226-14226
subrelation
localShortName
and
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 34836-34836
(
termFormat
ChineseTraditionalLanguage
localShortName
"本地簡稱")
domainEnglishFormat.kif 34835-34835
(
termFormat
EnglishLanguage
localShortName
"local short name")
domainEnglishFormat.kif 34834-34834
appearance as argument number 0
(
localShortName
"ALADI"
LatinAmericanIntegrationAssociation
)
Government.kif 3620-3620
localShortName
"ALADI" and
LatinAmericanIntegrationAssociation
(
localShortName
"BAD"
AfricanDevelopmentBank
)
Government.kif 2741-2741
localShortName
"BAD" and
AfricanDevelopmentBank
(
localShortName
"BADEA"
ArabBankForEconomicDevelopmentInAfrica
)
Government.kif 2791-2791
localShortName
"BADEA" and
ArabBankForEconomicDevelopmentInAfrica
(
localShortName
"BID"
InterAmericanDevelopmentBank
)
Government.kif 3364-3364
localShortName
"BID" and
InterAmericanDevelopmentBank
(
localShortName
"BOAD"
WestAfricanDevelopmentBank
)
Government.kif 4277-4277
localShortName
"BOAD" and
WestAfricanDevelopmentBank
(
localShortName
"OPANAL"
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
)
Government.kif 2757-2757
localShortName
"OPANAL" and
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(
localShortName
"SELA"
LatinAmericanEconomicSystem
)
Government.kif 3611-3611
localShortName
"SELA" and
LatinAmericanEconomicSystem
(
localShortName
"WAEMU"
WestAfricanEconomicAndMonetaryUnion
)
Government.kif 4286-4286
localShortName
"WAEMU" and
WestAfricanEconomicAndMonetaryUnion
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