CentralAmericanBankForEconomicIntegration(central american bank for economic integration) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2950-2950 | The day 13 is a date established of central american bank for economic integration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2946-2946 | Central american bank for economic integration is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2952-2952 | Economic development is an organizational objective of central american bank for economic integration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2951-2951 | Economic integration is an organizational objective of central american bank for economic integration |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2948-2948 | "BCIE" is an abbreviation of central american bank for economic integration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2947-2947 | Central american bank for economic integration is a conventional long name of "Central American Bank for Economic Integration" |
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. | 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 |