|
|
  CentralAmericanBankForEconomicIntegration
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2950-2950 | dateEstablished CentralAmericanBankForEconomicIntegration and o dia 13 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2946-2946 | CentralAmericanBankForEconomicIntegration e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2952-2952 | organizationalObjective CentralAmericanBankForEconomicIntegration and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2951-2951 | organizationalObjective CentralAmericanBankForEconomicIntegration and EconomicIntegration |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2948-2948 | abbreviation "BCIE" and CentralAmericanBankForEconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2947-2947 | conventionalLongName "Central American Bank for Economic Integration" and CentralAmericanBankForEconomicIntegration |
| 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. | domainEnglishFormat.kif 13794-13794 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13793-13793 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13792-13792 |
|
|
|