TreeView Knowledge Base Browser - CommonwealthOfIndependentStates

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2987-2987	天 8 and 月 December and 年 1991 是獨立國家聯合體的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2984-2984	例獨立國家聯合體 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2988-2988	政治合作是獨立國家聯合體的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2986-2986	獨立國家聯合體是 "CIS" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2985-2985	獨立國家聯合體是 "Commonwealth of Independent States" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15990-15990
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15989-15989
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15988-15988