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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ControlNuclearWeapons
ControlNuclearWeapons(control nuclear weapons)

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


(subAttribute ControlNuclearWeapons ControlWeaponsOfMassDestruction) Government.kif 2640-2640 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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