No TPTP formula. May not be expressible in strict first order. |
Government.kif 2948-2948 |
中美洲经济一体化银行 是 "BCIE" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2947-2947 |
中美洲经济一体化银行 是 "Central American Bank for Economic Integration" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2949-2949 |
中美洲经济一体化银行 是 "Banco Centroamericano de Integracion Economico" 的 local 全名 |
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 |
|