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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ControlWeaponsOfMassDestruction
ControlWeaponsOfMassDestruction

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


(subAttribute ControlWeaponsOfMassDestruction ArmsControl) Government.kif 2603-2603 ControlWeaponsOfMassDestruction は ArmsControl の subattribute では %n

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


(organizationalObjective UnitedNationsMonitoringAndVerificationCommission ControlWeaponsOfMassDestruction) Government.kif 4075-4075 organizationalObjective UnitedNationsMonitoringAndVerificationCommission and ControlWeaponsOfMassDestruction
(subAttribute ControlBiologicalAndChemicalWeapons ControlWeaponsOfMassDestruction) Government.kif 2608-2608 ControlBiologicalAndChemicalWeapons は ControlWeaponsOfMassDestruction の subattribute では %n
(subAttribute ControlNuclearWeapons ControlWeaponsOfMassDestruction) Government.kif 2604-2604 ControlNuclearWeapons は ControlWeaponsOfMassDestruction の subattribute では %n
(subAttribute NuclearNonproliferation ControlWeaponsOfMassDestruction) Government.kif 2605-2605 NuclearNonproliferation は ControlWeaponsOfMassDestruction の subattribute では %n
(termFormat ChineseLanguage ControlWeaponsOfMassDestruction "控制大规模杀伤性武器") domainEnglishFormat.kif 17070-17070
(termFormat ChineseTraditionalLanguage ControlWeaponsOfMassDestruction "控制大規模殺傷性武器") domainEnglishFormat.kif 17069-17069
(termFormat EnglishLanguage ControlWeaponsOfMassDestruction "control weapons of mass destruction") domainEnglishFormat.kif 17068-17068


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