TreeView Knowledge Base Browser - ASEANRegionalForum

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2877-2877	年 1994 是東盟區域論壇的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2874-2874	例東盟區域論壇 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2879-2879	區域安全是東盟區域論壇的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2876-2876	東盟區域論壇是 "ARF" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2875-2875	東盟區域論壇是 "ASEAN Regional Forum" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8634-8634
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8633-8633
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8632-8632