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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - localLongName
localLongName

appearance as argument number 1
-------------------------


s__documentation(s__localLongName__m,s__EnglishLanguage,'"(localLongName ?NAME ?THING) means that the string ?NAME is the long form of the name used for ?THING in its local area or language."')

Mid-level-ontology.kif 14078-14080
s__domain(s__localLongName__m,n__1,s__SymbolicString)

Mid-level-ontology.kif 14076-14076 The number 1 argument of local long name is an instance of symbolic string
s__domain(s__localLongName__m,n__2,s__Entity)

Mid-level-ontology.kif 14077-14077 The number 2 argument of local long name is an instance of entity
s__instance(s__localLongName__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__Class)

Mid-level-ontology.kif 14075-14075 local long name is an instance of binary predicate
s__subrelation(s__localLongName__m,s__names__m)

Mid-level-ontology.kif 14081-14081 local long name is a subrelation of names

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


s__format(s__ChineseLanguage,s__localLongName__m,'"%2 %n 是 %1 的 local 全名"')

domainEnglishFormat.kif 1559-1559
s__format(s__ChineseTraditionalLanguage,s__localLongName__m,'"%2 %n 是 %1 的 local 全名"')

domainEnglishFormat.kif 1558-1558
s__format(s__EnglishLanguage,s__localLongName__m,'"%2 is %n a local long name of %1"')

domainEnglishFormat.kif 1557-1557
s__termFormat(s__ChineseLanguage,s__localLongName__m,'"当地的长名"')

domainEnglishFormat.kif 34824-34824
s__termFormat(s__ChineseTraditionalLanguage,s__localLongName__m,'"當地的長名"')

domainEnglishFormat.kif 34823-34823
s__termFormat(s__EnglishLanguage,s__localLongName__m,'"local long name"')

domainEnglishFormat.kif 34822-34822

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


s__localLongName('"Asociacion Latinoamericana de Integracion"',s__LatinAmericanIntegrationAssociation)

Government.kif 3615-3615 Latin american integration association is a local long name of "Asociacion Latinoamericana de Integracion"
s__localLongName('"Banco Centroamericano de Integracion Economico"',s__CentralAmericanBankForEconomicIntegration)

Government.kif 2925-2925 Central american bank for economic integration is a local long name of "Banco Centroamericano de Integracion Economico"
s__localLongName('"Banco Interamericano de Desarrollo"',s__InterAmericanDevelopmentBank)

Government.kif 3359-3359 Inter american development bank is a local long name of "Banco Interamericano de Desarrollo"
s__localLongName('"Banque Africaine de Developpement"',s__AfricanDevelopmentBank)

Government.kif 2741-2741 African development bank is a local long name of "Banque Africaine de Developpement"
s__localLongName('"Banque Arabe de Developpement Economique en Afrique"',s__ArabBankForEconomicDevelopmentInAfrica)

Government.kif 2786-2786 Arab bank for economic development in africa is a local long name of "Banque Arabe de Developpement Economique en Afrique"
s__localLongName('"Banque Ouest-Africaine de Developpement"',s__WestAfricanDevelopmentBank)

Government.kif 4272-4272 West african development bank is a local long name of "Banque Ouest-Africaine de Developpement"
s__localLongName('"Banque de Developpement des Etats de lAfrique Centrale"',s__CentralAfricanStatesDevelopmentBank)

Government.kif 2918-2918 Central african states development bank is a local long name of "Banque de Developpement des Etats de l'Afrique Centrale"
s__localLongName('"Communaute Economique des Pays des Grands Lacs"',s__EconomicCommunityOfTheGreatLakesCountries)

Government.kif 3109-3109 Economic community of the great lakes countries is a local long name of "Communaute Economique des Pays des Grands Lacs"
s__localLongName('"Conference des Ministres des Finances des Pays de la Zone Franc"',s__FrancZone)

Government.kif 3246-3246 Franc zone is a local long name of "Conference des Ministres des Finances des Pays de la Zone Franc"
s__localLongName('"Groupe des Six Sur le Desarmement"',s__GroupOf6)

Government.kif 3266-3266 Group of6 is a local long name of "Groupe des Six Sur le Desarmement"
s__localLongName('"Mercado Comun del Cono Sur"',s__SouthernConeCommonMarket)

Government.kif 3841-3841 Southern cone common market is a local long name of "Mercado Comun del Cono Sur"
s__localLongName('"Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe"',s__AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean)

Government.kif 2757-2757 Agency for the prohibition of nuclear weapons in latin america and the caribbean is a local long name of "Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe"
s__localLongName('"Sistema Economico Latinoamericana"',s__LatinAmericanEconomicSystem)

Government.kif 3606-3606 Latin american economic system is a local long name of "Sistema Economico Latinoamericana"
s__localLongName('"Union Economique et Monetaire Ouest Africaine"',s__WestAfricanEconomicAndMonetaryUnion)

Government.kif 4281-4281 West african economic and monetary union is a local long name of "Union Economique et Monetaire Ouest Africaine"


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