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 Day 是独立国家联合体的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2984-2984	独立国家联合体是国际组织的 instance
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