Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
localLongName
Sigma KEE - localLongName
localLongName
appearance as argument number 1
(
instance
localLongName
BinaryPredicate
)
Mid-level-ontology.kif 16358-16358
local long name
is an
instance
of
binary predicate
(
domain
localLongName
1
SymbolicString
)
Mid-level-ontology.kif 16359-16359
The number 1 argument of
local long name
is an
instance
of
symbolic string
(
domain
localLongName
2
Entity
)
Mid-level-ontology.kif 16360-16360
The number 2 argument of
local long name
is an
instance
of
entity
(
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 16361-16363
The number 2 argument of
local long name
is an
instance
of
entity
(
subrelation
localLongName
names
)
Mid-level-ontology.kif 16364-16364
local long name
is a
subrelation
of
names
appearance as argument number 2
(
format
EnglishLanguage
localLongName
"%2 is %n a local long name of %1")
domainEnglishFormat.kif 1557-1557
(
format
ChineseTraditionalLanguage
localLongName
"%2 %n 是 %1 的 local 全名")
domainEnglishFormat.kif 1558-1558
(
format
ChineseLanguage
localLongName
"%2 %n 是 %1 的 local 全名")
domainEnglishFormat.kif 1559-1559
(
termFormat
EnglishLanguage
localLongName
"local long name")
domainEnglishFormat.kif 34843-34843
(
termFormat
ChineseTraditionalLanguage
localLongName
"當地的長名")
domainEnglishFormat.kif 34844-34844
(
termFormat
ChineseLanguage
localLongName
"当地的长名")
domainEnglishFormat.kif 34845-34845
appearance as argument number 0
(
localLongName
"Banque Africaine de Developpement"
AfricanDevelopmentBank
)
Government.kif 2747-2747
African development bank
is a
local
long name of "Banque Africaine de Developpement"
(
localLongName
"Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe"
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
)
Government.kif 2768-2768
Agency for the prohibition of nuclear weapons in latin america and the caribbean
is a
local
long name of "Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe"
(
localLongName
"Banque Arabe de Developpement Economique en Afrique"
ArabBankForEconomicDevelopmentInAfrica
)
Government.kif 2802-2802
Arab bank for economic development in africa
is a
local
long name of "Banque Arabe de Developpement Economique en Afrique"
(
localLongName
"Banque de Developpement des Etats de l'Afrique Centrale"
CentralAfricanStatesDevelopmentBank
)
Government.kif 2934-2934
Central african states development bank
is a
local
long name of "Banque de Developpement des Etats de l'Afrique Centrale"
(
localLongName
"Banco Centroamericano de Integracion Economico"
CentralAmericanBankForEconomicIntegration
)
Government.kif 2941-2941
Central american bank for economic integration
is a
local
long name of "Banco Centroamericano de Integracion Economico"
(
localLongName
"Communaute Economique des Pays des Grands Lacs"
EconomicCommunityOfTheGreatLakesCountries
)
Government.kif 3125-3125
Economic community of the great lakes countries
is a
local
long name of "Communaute Economique des Pays des Grands Lacs"
(
localLongName
"Conference des Ministres des Finances des Pays de la Zone Franc"
FrancZone
)
Government.kif 3262-3262
Franc zone
is a
local
long name of "Conference des Ministres des Finances des Pays de la Zone Franc"
(
localLongName
"Groupe des Six Sur le Desarmement"
GroupOf6
)
Government.kif 3282-3282
Group of6
is a
local
long name of "Groupe des Six Sur le Desarmement"
(
localLongName
"Banco Interamericano de Desarrollo"
InterAmericanDevelopmentBank
)
Government.kif 3375-3375
Inter american development bank
is a
local
long name of "Banco Interamericano de Desarrollo"
(
localLongName
"Sistema Economico Latinoamericana"
LatinAmericanEconomicSystem
)
Government.kif 3622-3622
Latin american economic system
is a
local
long name of "Sistema Economico Latinoamericana"
(
localLongName
"Asociacion Latinoamericana de Integracion"
LatinAmericanIntegrationAssociation
)
Government.kif 3631-3631
Latin american integration association
is a
local
long name of "Asociacion Latinoamericana de Integracion"
(
localLongName
"Mercado Comun del Cono Sur"
SouthernConeCommonMarket
)
Government.kif 3857-3857
Southern cone common market
is a
local
long name of "Mercado Comun del Cono Sur"
(
localLongName
"Banque Ouest_Africaine de Developpement"
WestAfricanDevelopmentBank
)
Government.kif 4288-4288
West african development bank
is a
local
long name of "Banque Ouest_Africaine de Developpement"
(
localLongName
"Union Economique et Monetaire Ouest Africaine"
WestAfricanEconomicAndMonetaryUnion
)
Government.kif 4297-4297
West african economic and monetary union
is a
local
long name of "Union Economique et Monetaire Ouest Africaine"
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners