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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArmsControl

 Sigma KEE - ArmsControl
ArmsControl(军备控制)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2636-2636 军备控制 是 跨国问题 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2637-2637 军备控制 是 国际和平与安全 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3986-3986 军备控制 是 联合国裁军研究所 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 4291-4291 军备控制 是 wassenaar安排 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 2639-2639 控制大规模杀伤性武器 是 军备控制 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Government.kif 2638-2638 常规军备控制 是 军备控制 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Government.kif 2634-2634 武器检查 是 军备控制 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8442-8442
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8441-8441
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8440-8440


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