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
-------------------------


(documentation localLongName 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 14754-14756
(domain localLongName 1 SymbolicString) Mid-level-ontology.kif 14752-14752 The number 1 argument of local long name is an instance of symbolic string
(domain localLongName 2 Entity) Mid-level-ontology.kif 14753-14753 The number 2 argument of local long name is an instance of entity
(instance localLongName BinaryPredicate) Mid-level-ontology.kif 14751-14751 local long name is an instance of binary predicate
(subrelation localLongName names) Mid-level-ontology.kif 14757-14757 local long name is a subrelation of names

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


(format ChineseLanguage localLongName "%2 %n 是 %1 的 local 全名") domainEnglishFormat.kif 1559-1559
(format ChineseTraditionalLanguage localLongName "%2 %n 是 %1 的 local 全名") domainEnglishFormat.kif 1558-1558
(format EnglishLanguage localLongName "%2 is %n a local long name of %1") domainEnglishFormat.kif 1557-1557
(termFormat ChineseLanguage localLongName "当地的长名") domainEnglishFormat.kif 34841-34841
(termFormat ChineseTraditionalLanguage localLongName "當地的長名") domainEnglishFormat.kif 34840-34840
(termFormat EnglishLanguage localLongName "local long name") domainEnglishFormat.kif 34839-34839

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


(localLongName "Asociacion Latinoamericana de Integracion" LatinAmericanIntegrationAssociation) Government.kif 3639-3639 Latin american integration association is a local long name of "Asociacion Latinoamericana de Integracion"
(localLongName "Banco Centroamericano de Integracion Economico" CentralAmericanBankForEconomicIntegration) Government.kif 2949-2949 Central american bank for economic integration is a local long name of "Banco Centroamericano de Integracion Economico"
(localLongName "Banco Interamericano de Desarrollo" InterAmericanDevelopmentBank) Government.kif 3383-3383 Inter american development bank is a local long name of "Banco Interamericano de Desarrollo"
(localLongName "Banque Africaine de Developpement" AfricanDevelopmentBank) Government.kif 2755-2755 African development bank is a local long name of "Banque Africaine de Developpement"
(localLongName "Banque Arabe de Developpement Economique en Afrique" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2810-2810 Arab bank for economic development in africa is a local long name of "Banque Arabe de Developpement Economique en Afrique"
(localLongName "Banque Ouest-Africaine de Developpement" WestAfricanDevelopmentBank) Government.kif 4296-4296 West african development bank is a local long name of "Banque Ouest-Africaine de Developpement"
(localLongName "Banque de Developpement des Etats de l'Afrique Centrale" CentralAfricanStatesDevelopmentBank) Government.kif 2942-2942 Central african states development bank is a local long name of "Banque de Developpement des Etats de l'Afrique Centrale"
(localLongName "Communaute Economique des Pays des Grands Lacs" EconomicCommunityOfTheGreatLakesCountries) Government.kif 3133-3133 Economic community of the great lakes countries is a local long name of "Communaute Economique des Pays des Grands Lacs"
(localLongName "Conference des Ministres des Finances des Pays de la Zone Franc" FrancZone) Government.kif 3270-3270 Franc zone is a local long name of "Conference des Ministres des Finances des Pays de la Zone Franc"
(localLongName "Groupe des Six Sur le Desarmement" GroupOf6) Government.kif 3290-3290 Group of6 is a local long name of "Groupe des Six Sur le Desarmement"
(localLongName "Mercado Comun del Cono Sur" SouthernConeCommonMarket) Government.kif 3865-3865 Southern cone common market is a local long name of "Mercado Comun del Cono Sur"
(localLongName "Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2776-2776 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"
(localLongName "Sistema Economico Latinoamericana" LatinAmericanEconomicSystem) Government.kif 3630-3630 Latin american economic system is a local long name of "Sistema Economico Latinoamericana"
(localLongName "Union Economique et Monetaire Ouest Africaine" WestAfricanEconomicAndMonetaryUnion) Government.kif 4305-4305 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