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 14781-14783
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14779-14779 Le nombre 1 argument de localLongName est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14780-14780 Le nombre 2 argument de localLongName est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14778-14778 localLongName est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14784-14784 localLongName est une sous-relation 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 3603-3603 localLongName "Asociacion Latinoamericana de Integracion" and LatinAmericanIntegrationAssociation
No TPTP formula. May not be expressible in strict first order. Government.kif 2913-2913 localLongName "Banco Centroamericano de Integracion Economico" and CentralAmericanBankForEconomicIntegration
No TPTP formula. May not be expressible in strict first order. Government.kif 3347-3347 localLongName "Banco Interamericano de Desarrollo" and InterAmericanDevelopmentBank
No TPTP formula. May not be expressible in strict first order. Government.kif 2719-2719 localLongName "Banque Africaine de Developpement" and AfricanDevelopmentBank
No TPTP formula. May not be expressible in strict first order. Government.kif 2774-2774 localLongName "Banque Arabe de Developpement Economique en Afrique" and ArabBankForEconomicDevelopmentInAfrica
No TPTP formula. May not be expressible in strict first order. Government.kif 4260-4260 localLongName "Banque Ouest-Africaine de Developpement" and WestAfricanDevelopmentBank
No TPTP formula. May not be expressible in strict first order. Government.kif 2906-2906 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 3097-3097 localLongName "Communaute Economique des Pays des Grands Lacs" and EconomicCommunityOfTheGreatLakesCountries
No TPTP formula. May not be expressible in strict first order. Government.kif 3234-3234 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 3254-3254 localLongName "Groupe des Six Sur le Desarmement" and GroupOf6
No TPTP formula. May not be expressible in strict first order. Government.kif 3829-3829 localLongName "Mercado Comun del Cono Sur" and SouthernConeCommonMarket
No TPTP formula. May not be expressible in strict first order. Government.kif 2740-2740 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 3594-3594 localLongName "Sistema Economico Latinoamericana" and LatinAmericanEconomicSystem
No TPTP formula. May not be expressible in strict first order. Government.kif 4269-4269 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