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 Day 是中欧倡议的成立 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	中欧倡议是国际组织的 instance
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