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 14759-14761
(domain localShortName 1 SymbolicString) Mid-level-ontology.kif 14764-14764 localShortName の数値 1 引数は 記号文字列instance では %n
(domain localShortName 2 Entity) Mid-level-ontology.kif 14765-14765 localShortName の数値 2 引数は エンティティーinstance では %n
(instance localShortName BinaryPredicate) Mid-level-ontology.kif 14763-14763 localShortName2進述語instance では %n
(subrelation localShortName names) Mid-level-ontology.kif 14762-14762 localShortNamenamessubrelation では %n

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 localShortName "ALADI" and LatinAmericanIntegrationAssociation
(localShortName "BAD" AfricanDevelopmentBank) Government.kif 2756-2756 localShortName "BAD" and AfricanDevelopmentBank
(localShortName "BADEA" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2811-2811 localShortName "BADEA" and ArabBankForEconomicDevelopmentInAfrica
(localShortName "BID" InterAmericanDevelopmentBank) Government.kif 3384-3384 localShortName "BID" and InterAmericanDevelopmentBank
(localShortName "BOAD" WestAfricanDevelopmentBank) Government.kif 4297-4297 localShortName "BOAD" and WestAfricanDevelopmentBank
(localShortName "OPANAL" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2777-2777 localShortName "OPANAL" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(localShortName "SELA" LatinAmericanEconomicSystem) Government.kif 3631-3631 localShortName "SELA" and LatinAmericanEconomicSystem
(localShortName "WAEMU" WestAfricanEconomicAndMonetaryUnion) Government.kif 4306-4306 localShortName "WAEMU" and WestAfricanEconomicAndMonetaryUnion


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