TreeView Knowledge Base Browser - OrganizationOfArabPetroleumExportingCountries

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3765-3765	天 9 and 月 January and 年 1968 是阿拉伯石油出口國組織的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3762-3762	例阿拉伯石油出口國組織 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3766-3766	經濟合作是阿拉伯石油出口國組織的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3764-3764	阿拉伯石油出口國組織是 "OAPEC" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3763-3763	阿拉伯石油出口國組織是 "Organization of Arab Petroleum Exporting Countries" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42534-42534
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42533-42533
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42532-42532