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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ControlWeaponsOfMassDestruction
ControlWeaponsOfMassDestruction(control weapons of mass destruction)

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


(subAttribute ControlWeaponsOfMassDestruction ArmsControl) Government.kif 2600-2600 Control weapons of mass destruction is a subattribute of arms control

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


(organizationalObjective UnitedNationsMonitoringAndVerificationCommission ControlWeaponsOfMassDestruction) Government.kif 4072-4072 Control weapons of mass destruction is an organizational objective of united nations monitoring and verification commission
(subAttribute ControlBiologicalAndChemicalWeapons ControlWeaponsOfMassDestruction) Government.kif 2605-2605 Control biological and chemical weapons is a subattribute of control weapons of mass destruction
(subAttribute ControlNuclearWeapons ControlWeaponsOfMassDestruction) Government.kif 2601-2601 Control nuclear weapons is a subattribute of control weapons of mass destruction
(subAttribute NuclearNonproliferation ControlWeaponsOfMassDestruction) Government.kif 2602-2602 Nuclear nonproliferation is a subattribute of control weapons of mass destruction
(termFormat ChineseLanguage ControlWeaponsOfMassDestruction "控制大规模杀伤性武器") domainEnglishFormat.kif 17085-17085 Nuclear nonproliferation is a subattribute of control weapons of mass destruction
(termFormat ChineseTraditionalLanguage ControlWeaponsOfMassDestruction "控制大規模殺傷性武器") domainEnglishFormat.kif 17084-17084 Nuclear nonproliferation is a subattribute of control weapons of mass destruction
(termFormat EnglishLanguage ControlWeaponsOfMassDestruction "control weapons of mass destruction") domainEnglishFormat.kif 17083-17083 Nuclear nonproliferation is a subattribute of control weapons of mass destruction


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