TreeView Knowledge Base Browser - GulfCooperationCouncil

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3367-3367	天 25 and 月 May and 年 1981 是海灣合作委員會的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3364-3364	例海灣合作委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3369-3369	經濟合作是海灣合作委員會的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3370-3370	軍事合作是海灣合作委員會的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3368-3368	政治合作是海灣合作委員會的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3371-3371	社會合作是海灣合作委員會的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3366-3366	海灣合作委員會是 "GCC" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3365-3365	海灣合作委員會是 "Gulf Cooperation Council" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27042-27042
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27041-27041
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27040-27040