TreeView Knowledge Base Browser - OrganizationOfArabPetroleumExportingCountries

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3729-3729	9 Day 是阿拉伯石油出口国组织的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3726-3726	阿拉伯石油出口国组织是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3730-3730	经济合作是阿拉伯石油出口国组织的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3728-3728	阿拉伯石油出口国组织是 "OAPEC" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3727-3727	阿拉伯石油出口国组织是 "Organization of Arab Petroleum Exporting Countries" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42536-42536
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42535-42535
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42534-42534