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 and 月 December and 年 1960 是中美洲經濟一體化銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2946-2946	例中美洲經濟一體化銀行 and 國際組織
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