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

Formal Language: 



KB Term:  Term intersection
English Word: 

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