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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalPeaceAndSecurity

 Sigma KEE - InternationalPeaceAndSecurity
InternationalPeaceAndSecurity(國際和平與安全)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2621-2621 例 國際和平與安全 and 跨國問題

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3873-3873 國際和平與安全 是 聯合國 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 4181-4181 國際和平與安全 是 聯合國安理會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2637-2637 子屬性 軍備控制 and 國際和平與安全
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30679-30679
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30678-30678
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30677-30677


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