TreeView Knowledge Base Browser - CentralAmericanBankForEconomicIntegration

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2914-2914	天 13 and 月 December and 年 1960 是中美洲經濟一體化銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2910-2910	例中美洲經濟一體化銀行 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2916-2916	經濟發展是中美洲經濟一體化銀行的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2915-2915	經濟一體化是中美洲經濟一體化銀行的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2912-2912	中美洲經濟一體化銀行是 "BCIE" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2911-2911	中美洲經濟一體化銀行是 "Central American Bank for Economic Integration" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2913-2913	中美洲經濟一體化銀行是 "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