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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 12525-12527
(domain localLongName 1 SymbolicString) Mid-level-ontology.kif 12523-12523
(domain localLongName 2 Entity) Mid-level-ontology.kif 12524-12524
(instance localLongName BinaryPredicate) Mid-level-ontology.kif 12522-12522
(subrelation localLongName names) Mid-level-ontology.kif 12528-12528

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 34831-34831
(termFormat ChineseTraditionalLanguage localLongName "當地的長名") domainEnglishFormat.kif 34830-34830
(termFormat EnglishLanguage localLongName "local long name") domainEnglishFormat.kif 34829-34829

appearance as argument number 0

(localLongName "Asociacion Latinoamericana de Integracion" LatinAmericanIntegrationAssociation) Government.kif 3602-3602
(localLongName "Banco Centroamericano de Integracion Economico" CentralAmericanBankForEconomicIntegration) Government.kif 2912-2912
(localLongName "Banco Interamericano de Desarrollo" InterAmericanDevelopmentBank) Government.kif 3346-3346
(localLongName "Banque Africaine de Developpement" AfricanDevelopmentBank) Government.kif 2728-2728
(localLongName "Banque Arabe de Developpement Economique en Afrique" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2773-2773
(localLongName "Banque Ouest-Africaine de Developpement" WestAfricanDevelopmentBank) Government.kif 4259-4259
(localLongName "Banque de Developpement des Etats de l'Afrique Centrale" CentralAfricanStatesDevelopmentBank) Government.kif 2905-2905
(localLongName "Communaute Economique des Pays des Grands Lacs" EconomicCommunityOfTheGreatLakesCountries) Government.kif 3096-3096
(localLongName "Conference des Ministres des Finances des Pays de la Zone Franc" FrancZone) Government.kif 3233-3233
(localLongName "Groupe des Six Sur le Desarmement" GroupOf6) Government.kif 3253-3253
(localLongName "Mercado Comun del Cono Sur" SouthernConeCommonMarket) Government.kif 3828-3828
(localLongName "Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2744-2744
(localLongName "Sistema Economico Latinoamericana" LatinAmericanEconomicSystem) Government.kif 3593-3593
(localLongName "Union Economique et Monetaire Ouest Africaine" WestAfricanEconomicAndMonetaryUnion) Government.kif 4268-4268

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