TreeView Knowledge Base Browser - CentralEuropeanInitiative

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2965-2965	天 11 and 月 November and 年 1989 是中歐倡議的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5907-5907
No TPTP formula. May not be expressible in strict first order.	Government.kif 2960-2960	例中歐倡議 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2966-2966	經濟合作是中歐倡議的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2967-2967	政治合作是中歐倡議的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2962-2962	中歐倡議是 "CEI" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2961-2961	中歐倡議是 "Central European Initiative" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2964-2964	"Hexagonal Initiative" 是對於中歐倡議的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 2963-2963	"Quadrilateral Initiative" 是對於中歐倡議的 former name
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13854-13854
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13853-13853
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13852-13852