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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 12503-12505
(domain localShortName 1 SymbolicString) Mid-level-ontology.kif 12508-12508 The number 1 argument of local short name is an instance of symbolic string
(domain localShortName 2 Entity) Mid-level-ontology.kif 12509-12509 The number 2 argument of local short name is an instance of entity
(instance localShortName BinaryPredicate) Mid-level-ontology.kif 12507-12507 local short name is an instance of binary predicate
(subrelation localShortName names) Mid-level-ontology.kif 12506-12506 local short name is a subrelation of names

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

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


(localShortName "ALADI" LatinAmericanIntegrationAssociation) Government.kif 3571-3571 Latin american integration association is a local short name of "ALADI"
(localShortName "BAD" AfricanDevelopmentBank) Government.kif 2697-2697 African development bank is a local short name of "BAD"
(localShortName "BADEA" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2742-2742 Arab bank for economic development in africa is a local short name of "BADEA"
(localShortName "BID" InterAmericanDevelopmentBank) Government.kif 3315-3315 Inter american development bank is a local short name of "BID"
(localShortName "BOAD" WestAfricanDevelopmentBank) Government.kif 4228-4228 West african development bank is a local short name of "BOAD"
(localShortName "OPANAL" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2713-2713 Agency for the prohibition of nuclear weapons in latin america and the caribbean is a local short name of "OPANAL"
(localShortName "SELA" LatinAmericanEconomicSystem) Government.kif 3562-3562 Latin american economic system is a local short name of "SELA"
(localShortName "WAEMU" WestAfricanEconomicAndMonetaryUnion) Government.kif 4237-4237 West african economic and monetary union is a local short name of "WAEMU"


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners