Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  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 16132-16134
(domain localShortName 1 SymbolicString) Mid-level-ontology.kif 16137-16137
(domain localShortName 2 Entity) Mid-level-ontology.kif 16138-16138
(instance localShortName BinaryPredicate) Mid-level-ontology.kif 16136-16136
(subrelation localShortName names) Mid-level-ontology.kif 16135-16135

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 34864-34864
(termFormat ChineseTraditionalLanguage localShortName "本地簡稱") domainEnglishFormat.kif 34863-34863
(termFormat EnglishLanguage localShortName "local short name") domainEnglishFormat.kif 34862-34862

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


(localShortName "ALADI" LatinAmericanIntegrationAssociation) Government.kif 3601-3601
(localShortName "BAD" AfricanDevelopmentBank) Government.kif 2717-2717
(localShortName "BADEA" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2772-2772
(localShortName "BID" InterAmericanDevelopmentBank) Government.kif 3345-3345
(localShortName "BOAD" WestAfricanDevelopmentBank) Government.kif 4258-4258
(localShortName "OPANAL" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2738-2738
(localShortName "SELA" LatinAmericanEconomicSystem) Government.kif 3592-3592
(localShortName "WAEMU" WestAfricanEconomicAndMonetaryUnion) Government.kif 4267-4267


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