Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 12530-12532
(domain localShortName 1 SymbolicString) Mid-level-ontology.kif 12535-12535
(domain localShortName 2 Entity) Mid-level-ontology.kif 12536-12536
(instance localShortName BinaryPredicate) Mid-level-ontology.kif 12534-12534
(subrelation localShortName names) Mid-level-ontology.kif 12533-12533

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

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


(localShortName "ALADI" LatinAmericanIntegrationAssociation) Government.kif 3571-3571
(localShortName "BAD" AfricanDevelopmentBank) Government.kif 2697-2697
(localShortName "BADEA" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2742-2742
(localShortName "BID" InterAmericanDevelopmentBank) Government.kif 3315-3315
(localShortName "BOAD" WestAfricanDevelopmentBank) Government.kif 4228-4228
(localShortName "OPANAL" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2713-2713
(localShortName "SELA" LatinAmericanEconomicSystem) Government.kif 3562-3562
(localShortName "WAEMU" WestAfricanEconomicAndMonetaryUnion) Government.kif 4237-4237


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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