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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 O argumento numero 1 de localLongName e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14753-14753 O argumento numero 2 de localLongName e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14751-14751 localLongName e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14757-14757 localLongName e' uma sub-relacao de 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 localLongName "Asociacion Latinoamericana de Integracion" and LatinAmericanIntegrationAssociation
No TPTP formula. May not be expressible in strict first order. Government.kif 2949-2949 localLongName "Banco Centroamericano de Integracion Economico" and CentralAmericanBankForEconomicIntegration
No TPTP formula. May not be expressible in strict first order. Government.kif 3383-3383 localLongName "Banco Interamericano de Desarrollo" and InterAmericanDevelopmentBank
No TPTP formula. May not be expressible in strict first order. Government.kif 2755-2755 localLongName "Banque Africaine de Developpement" and AfricanDevelopmentBank
No TPTP formula. May not be expressible in strict first order. Government.kif 2810-2810 localLongName "Banque Arabe de Developpement Economique en Afrique" and ArabBankForEconomicDevelopmentInAfrica
No TPTP formula. May not be expressible in strict first order. Government.kif 4296-4296 localLongName "Banque Ouest-Africaine de Developpement" and WestAfricanDevelopmentBank
No TPTP formula. May not be expressible in strict first order. Government.kif 2942-2942 localLongName "Banque de Developpement des Etats de l'Afrique Centrale" and CentralAfricanStatesDevelopmentBank
No TPTP formula. May not be expressible in strict first order. Government.kif 3133-3133 localLongName "Communaute Economique des Pays des Grands Lacs" and EconomicCommunityOfTheGreatLakesCountries
No TPTP formula. May not be expressible in strict first order. Government.kif 3270-3270 localLongName "Conference des Ministres des Finances des Pays de la Zone Franc" and FrancZone
No TPTP formula. May not be expressible in strict first order. Government.kif 3290-3290 localLongName "Groupe des Six Sur le Desarmement" and GroupOf6
No TPTP formula. May not be expressible in strict first order. Government.kif 3865-3865 localLongName "Mercado Comun del Cono Sur" and SouthernConeCommonMarket
No TPTP formula. May not be expressible in strict first order. Government.kif 2776-2776 localLongName "Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
No TPTP formula. May not be expressible in strict first order. Government.kif 3630-3630 localLongName "Sistema Economico Latinoamericana" and LatinAmericanEconomicSystem
No TPTP formula. May not be expressible in strict first order. Government.kif 4305-4305 localLongName "Union Economique et Monetaire Ouest Africaine" and WestAfricanEconomicAndMonetaryUnion


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