Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthernAfricanDevelopmentCommunity

Sigma KEE - SouthernAfricanDevelopmentCommunity
SouthernAfricanDevelopmentCommunity(南部非洲發展社區)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3821-3821 17 and August and 1992 是 南部非洲發展社區 的成立 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 3816-3816 南部非洲發展社區 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3823-3823 經濟發展南部非洲發展社區organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3822-3822 經濟一體化南部非洲發展社區organizational 目標

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3818-3818 南部非洲發展社區 是 "SADC" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 3817-3817 南部非洲發展社區 是 "Southern African Development Community" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3820-3820 "SADCC" 是對於 南部非洲發展社區former name
No TPTP formula. May not be expressible in strict first order. Government.kif 3819-3819 "Southern African Development Coordination Conference" 是對於 南部非洲發展社區former name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54158-54158
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54157-54157
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54156-54156


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners