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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConsumerElectronicsAndAppliancesRental

 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 14786-14788
(domain localShortName 1 SymbolicString) Mid-level-ontology.kif 14791-14791
(domain localShortName 2 Entity) Mid-level-ontology.kif 14792-14792
(instance localShortName BinaryPredicate) Mid-level-ontology.kif 14790-14790
(subrelation localShortName names) Mid-level-ontology.kif 14789-14789

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 34853-34853
(termFormat ChineseTraditionalLanguage localShortName "本地簡稱") domainEnglishFormat.kif 34852-34852
(termFormat EnglishLanguage localShortName "local short name") domainEnglishFormat.kif 34851-34851

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


(localShortName "ALADI" LatinAmericanIntegrationAssociation) Government.kif 3604-3604
(localShortName "BAD" AfricanDevelopmentBank) Government.kif 2720-2720
(localShortName "BADEA" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2775-2775
(localShortName "BID" InterAmericanDevelopmentBank) Government.kif 3348-3348
(localShortName "BOAD" WestAfricanDevelopmentBank) Government.kif 4261-4261
(localShortName "OPANAL" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2741-2741
(localShortName "SELA" LatinAmericanEconomicSystem) Government.kif 3595-3595
(localShortName "WAEMU" WestAfricanEconomicAndMonetaryUnion) Government.kif 4270-4270


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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