Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14754-14756
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14752-14752
The number 1 argument of
local long name
is an
instance
of
symbolic string
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14753-14753
The number 2 argument of
local long name
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14751-14751
local long name
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14757-14757
local long name
is a
subrelation
of
names
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1559-1559
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1558-1558
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1557-1557
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34841-34841
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34840-34840
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34839-34839
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Government.kif 3639-3639
Latin american integration association
is a
local
long name of "Asociacion Latinoamericana de Integracion"
No TPTP formula. May not be expressible in strict first order.
Government.kif 2949-2949
Central american bank for economic integration
is a
local
long name of "Banco Centroamericano de Integracion Economico"
No TPTP formula. May not be expressible in strict first order.
Government.kif 3383-3383
Inter american development bank
is a
local
long name of "Banco Interamericano de Desarrollo"
No TPTP formula. May not be expressible in strict first order.
Government.kif 2755-2755
African development bank
is a
local
long name of "Banque Africaine de Developpement"
No TPTP formula. May not be expressible in strict first order.
Government.kif 2810-2810
Arab bank for economic development in africa
is a
local
long name of "Banque Arabe de Developpement Economique en Afrique"
No TPTP formula. May not be expressible in strict first order.
Government.kif 4296-4296
West african development bank
is a
local
long name of "Banque Ouest-Africaine de Developpement"
No TPTP formula. May not be expressible in strict first order.
Government.kif 2942-2942
Central african states development bank
is a
local
long name of "Banque de Developpement des Etats de l'Afrique Centrale"
No TPTP formula. May not be expressible in strict first order.
Government.kif 3133-3133
Economic community of the great lakes countries
is a
local
long name of "Communaute Economique des Pays des Grands Lacs"
No TPTP formula. May not be expressible in strict first order.
Government.kif 3270-3270
Franc zone
is a
local
long name of "Conference des Ministres des Finances des Pays de la Zone Franc"
No TPTP formula. May not be expressible in strict first order.
Government.kif 3290-3290
Group of6
is a
local
long name of "Groupe des Six Sur le Desarmement"
No TPTP formula. May not be expressible in strict first order.
Government.kif 3865-3865
Southern cone common market
is a
local
long name of "Mercado Comun del Cono Sur"
No TPTP formula. May not be expressible in strict first order.
Government.kif 2776-2776
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"
No TPTP formula. May not be expressible in strict first order.
Government.kif 3630-3630
Latin american economic system
is a
local
long name of "Sistema Economico Latinoamericana"
No TPTP formula. May not be expressible in strict first order.
Government.kif 4305-4305
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 is
open source software
produced by
Articulate Software
and its partners