No TPTP formula. May not be expressible in strict first order. |
Government.kif 2912-2912 |
"BCIE" is an abbreviation of central american bank for economic integration |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2911-2911 |
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 2913-2913 |
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 |
|