TreeView Knowledge Base Browser - CentralAmericanBankForEconomicIntegration

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2950-2950	13 Day 是中美洲经济一体化银行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2946-2946	中美洲经济一体化银行是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2952-2952	经济发展是中美洲经济一体化银行的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 2951-2951	经济一体化是中美洲经济一体化银行的 organizational 目标

appearance as argument number 2

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