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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ControlNuclearWeapons

 Sigma KEE - ControlNuclearWeapons
ControlNuclearWeapons(control nuclear weapons)

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


(subAttribute ControlNuclearWeapons ControlWeaponsOfMassDestruction) Government.kif 2604-2604 Control nuclear weapons is a subattribute of control weapons of mass destruction

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


(termFormat ChineseLanguage ControlNuclearWeapons "控制核武器") domainEnglishFormat.kif 17064-17064
(termFormat ChineseTraditionalLanguage ControlNuclearWeapons "控制核武器") domainEnglishFormat.kif 17063-17063
(termFormat EnglishLanguage ControlNuclearWeapons "control nuclear weapons") domainEnglishFormat.kif 17062-17062


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