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


s__documentation(s__localShortName__m,s__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 14083-14085
s__domain(s__localShortName__m,n__1,s__SymbolicString)

Mid-level-ontology.kif 14088-14088 The number 1 argument of local short name is an instance of symbolic string
s__domain(s__localShortName__m,n__2,s__Entity)

Mid-level-ontology.kif 14089-14089 The number 2 argument of local short name is an instance of entity
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__localShortName__m,s__BinaryPredicate)

Mid-level-ontology.kif 14087-14087 local short name is an instance of binary predicate
s__subrelation(s__localShortName__m,s__names__m)

Mid-level-ontology.kif 14086-14086 local short name is a subrelation of names

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


s__format(s__ChineseLanguage,s__localShortName__m,'"%2 %n 是 %1 的 local 简称"')

domainEnglishFormat.kif 1563-1563
s__format(s__ChineseTraditionalLanguage,s__localShortName__m,'"%2 %n 是 %1 的 local 簡稱"')

domainEnglishFormat.kif 1562-1562
s__format(s__EnglishLanguage,s__localShortName__m,'"%2 is %n a local short name of %1"')

domainEnglishFormat.kif 1561-1561
s__termFormat(s__ChineseLanguage,s__localShortName__m,'"本地简称"')

domainEnglishFormat.kif 34836-34836
s__termFormat(s__ChineseTraditionalLanguage,s__localShortName__m,'"本地簡稱"')

domainEnglishFormat.kif 34835-34835
s__termFormat(s__EnglishLanguage,s__localShortName__m,'"local short name"')

domainEnglishFormat.kif 34834-34834

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


s__localShortName('"ALADI"',s__LatinAmericanIntegrationAssociation)

Government.kif 3616-3616 Latin american integration association is a local short name of "ALADI"
s__localShortName('"BAD"',s__AfricanDevelopmentBank)

Government.kif 2742-2742 African development bank is a local short name of "BAD"
s__localShortName('"BADEA"',s__ArabBankForEconomicDevelopmentInAfrica)

Government.kif 2787-2787 Arab bank for economic development in africa is a local short name of "BADEA"
s__localShortName('"BID"',s__InterAmericanDevelopmentBank)

Government.kif 3360-3360 Inter american development bank is a local short name of "BID"
s__localShortName('"BOAD"',s__WestAfricanDevelopmentBank)

Government.kif 4273-4273 West african development bank is a local short name of "BOAD"
s__localShortName('"OPANAL"',s__AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean)

Government.kif 2758-2758 Agency for the prohibition of nuclear weapons in latin america and the caribbean is a local short name of "OPANAL"
s__localShortName('"SELA"',s__LatinAmericanEconomicSystem)

Government.kif 3607-3607 Latin american economic system is a local short name of "SELA"
s__localShortName('"WAEMU"',s__WestAfricanEconomicAndMonetaryUnion)

Government.kif 4282-4282 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 3.0 is open source software produced by Articulate Software and its partners