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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArabCooperationCouncil
  EmotionalVoiceUtterances

Sigma KEE - ArabCooperationCouncil
ArabCooperationCouncil(阿拉伯合作理事會)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2782-2782 16 and February and 1989 是 阿拉伯合作理事會 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2779-2779 阿拉伯合作理事會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2783-2783 經濟一體化阿拉伯合作理事會organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2781-2781 阿拉伯合作理事會 是 "ACC" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 2780-2780 阿拉伯合作理事會 是 "Arab Cooperation Council" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8094-8094
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8093-8093
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8092-8092


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