Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  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 16366-16368
(subrelation localShortName names) Mid-level-ontology.kif 16369-16369 local short name is a subrelation of names
(instance localShortName BinaryPredicate) Mid-level-ontology.kif 16370-16370 local short name is an instance of binary predicate
(domain localShortName 1 SymbolicString) Mid-level-ontology.kif 16371-16371 The number 1 argument of local short name is an instance of symbolic string
(domain localShortName 2 Entity) Mid-level-ontology.kif 16372-16372 The number 2 argument of local short name is an instance of entity

appearance as argument number 2
-------------------------


(format EnglishLanguage localShortName "%2 is %n a local short name of %1") domainEnglishFormat.kif 1561-1561
(format ChineseTraditionalLanguage localShortName "%2 %n 是 %1 的 local 簡稱") domainEnglishFormat.kif 1562-1562
(format ChineseLanguage localShortName "%2 %n 是 %1 的 local 简称") domainEnglishFormat.kif 1563-1563
(termFormat EnglishLanguage localShortName "local short name") domainEnglishFormat.kif 34855-34855
(termFormat ChineseTraditionalLanguage localShortName "本地簡稱") domainEnglishFormat.kif 34856-34856
(termFormat ChineseLanguage localShortName "本地简称") domainEnglishFormat.kif 34857-34857

appearance as argument number 0
-------------------------


(localShortName "BAD" AfricanDevelopmentBank) Government.kif 2748-2748 African development bank is a local short name of "BAD"
(localShortName "OPANAL" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2769-2769 Agency for the prohibition of nuclear weapons in latin america and the caribbean is a local short name of "OPANAL"
(localShortName "BADEA" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2803-2803 Arab bank for economic development in africa is a local short name of "BADEA"
(localShortName "BID" InterAmericanDevelopmentBank) Government.kif 3376-3376 Inter american development bank is a local short name of "BID"
(localShortName "SELA" LatinAmericanEconomicSystem) Government.kif 3623-3623 Latin american economic system is a local short name of "SELA"
(localShortName "ALADI" LatinAmericanIntegrationAssociation) Government.kif 3632-3632 Latin american integration association is a local short name of "ALADI"
(localShortName "BOAD" WestAfricanDevelopmentBank) Government.kif 4289-4289 West african development bank is a local short name of "BOAD"
(localShortName "WAEMU" WestAfricanEconomicAndMonetaryUnion) Government.kif 4298-4298 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners