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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ControlNuclearWeapons
ControlNuclearWeapons(控制核武器)

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


(subAttribute ControlNuclearWeapons ControlWeaponsOfMassDestruction) Government.kif 2640-2640 控制核武器控制大规模杀伤性武器subAttribute

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