TreeView Knowledge Base Browser - CommonwealthOfNations

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2980-2980	31 Day 是国家联合体的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2976-2976	国家联合体是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2982-2982	经济合作是国家联合体的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 2981-2981	政治合作是国家联合体的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2979-2979	国家联合体是 "C" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 2977-2977	国家联合体是 "Commonwealth of Nations" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2978-2978	国家联合体是 "Commonwealth" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15996-15996
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15995-15995
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15994-15994