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 14278-14280
(domain localShortName 1 SymbolicString) Mid-level-ontology.kif 14283-14283 domain localShortName, 1 and SymbolicString
(domain localShortName 2 Entity) Mid-level-ontology.kif 14284-14284 domain localShortName, 2 and Entity
(instance localShortName BinaryPredicate) Mid-level-ontology.kif 14282-14282 instance localShortName and BinaryPredicate
(subrelation localShortName names) Mid-level-ontology.kif 14281-14281 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 3632-3632 localShortName "ALADI" and LatinAmericanIntegrationAssociation
(localShortName "BAD" AfricanDevelopmentBank) Government.kif 2753-2753 localShortName "BAD" and AfricanDevelopmentBank
(localShortName "BADEA" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2803-2803 localShortName "BADEA" and ArabBankForEconomicDevelopmentInAfrica
(localShortName "BID" InterAmericanDevelopmentBank) Government.kif 3376-3376 localShortName "BID" and InterAmericanDevelopmentBank
(localShortName "BOAD" WestAfricanDevelopmentBank) Government.kif 4289-4289 localShortName "BOAD" and WestAfricanDevelopmentBank
(localShortName "OPANAL" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2769-2769 localShortName "OPANAL" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(localShortName "SELA" LatinAmericanEconomicSystem) Government.kif 3623-3623 localShortName "SELA" and LatinAmericanEconomicSystem
(localShortName "WAEMU" WestAfricanEconomicAndMonetaryUnion) Government.kif 4298-4298 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