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 16127-16129
(domain localLongName 1 SymbolicString) Mid-level-ontology.kif 16125-16125
(domain localLongName 2 Entity) Mid-level-ontology.kif 16126-16126
(instance localLongName BinaryPredicate) Mid-level-ontology.kif 16124-16124
(subrelation localLongName names) Mid-level-ontology.kif 16130-16130

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

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


(localLongName "Asociacion Latinoamericana de Integracion" LatinAmericanIntegrationAssociation) Government.kif 3600-3600
(localLongName "Banco Centroamericano de Integracion Economico" CentralAmericanBankForEconomicIntegration) Government.kif 2910-2910
(localLongName "Banco Interamericano de Desarrollo" InterAmericanDevelopmentBank) Government.kif 3344-3344
(localLongName "Banque Africaine de Developpement" AfricanDevelopmentBank) Government.kif 2716-2716
(localLongName "Banque Arabe de Developpement Economique en Afrique" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2771-2771
(localLongName "Banque Ouest_Africaine de Developpement" WestAfricanDevelopmentBank) Government.kif 4257-4257
(localLongName "Banque de Developpement des Etats de l'Afrique Centrale" CentralAfricanStatesDevelopmentBank) Government.kif 2903-2903
(localLongName "Communaute Economique des Pays des Grands Lacs" EconomicCommunityOfTheGreatLakesCountries) Government.kif 3094-3094
(localLongName "Conference des Ministres des Finances des Pays de la Zone Franc" FrancZone) Government.kif 3231-3231
(localLongName "Groupe des Six Sur le Desarmement" GroupOf6) Government.kif 3251-3251
(localLongName "Mercado Comun del Cono Sur" SouthernConeCommonMarket) Government.kif 3826-3826
(localLongName "Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2737-2737
(localLongName "Sistema Economico Latinoamericana" LatinAmericanEconomicSystem) Government.kif 3591-3591
(localLongName "Union Economique et Monetaire Ouest Africaine" WestAfricanEconomicAndMonetaryUnion) Government.kif 4266-4266


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