SouthernAfricanDevelopmentCommunity - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3857-3857	17 Day 是南部非洲发展社区的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7937-7937
No TPTP formula. May not be expressible in strict first order.	Government.kif 3852-3852	南部非洲发展社区是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3859-3859	经济发展是南部非洲发展社区的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3858-3858	经济一体化是南部非洲发展社区的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3854-3854	南部非洲发展社区是 "SADC" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3853-3853	南部非洲发展社区是 "Southern African Development Community" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3856-3856	"SADCC" 是对于南部非洲发展社区的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3855-3855	"Southern African Development Coordination Conference" 是对于南部非洲发展社区的 former name
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54156-54156
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54155-54155
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54154-54154