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 2585-2585 国际和平与安全 是 跨国问题 的 instance

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3837-3837 国际和平与安全 是 联合国 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 4145-4145 国际和平与安全 是 联合国安理会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 2601-2601 军备控制 是 国际和平与安全 的 subAttribute
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