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 and 月 December and 年 1931 是國家聯合體的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2976-2976	例國家聯合體 and 國際組織
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