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 2639-2639 ControlWeaponsOfMassDestruction は ArmsControl の subattribute では %n

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


(organizationalObjective UnitedNationsMonitoringAndVerificationCommission ControlWeaponsOfMassDestruction) Government.kif 4111-4111 organizationalObjective UnitedNationsMonitoringAndVerificationCommission and ControlWeaponsOfMassDestruction
(subAttribute ControlBiologicalAndChemicalWeapons ControlWeaponsOfMassDestruction) Government.kif 2644-2644 ControlBiologicalAndChemicalWeapons は ControlWeaponsOfMassDestruction の subattribute では %n
(subAttribute ControlNuclearWeapons ControlWeaponsOfMassDestruction) Government.kif 2640-2640 ControlNuclearWeapons は ControlWeaponsOfMassDestruction の subattribute では %n
(subAttribute NuclearNonproliferation ControlWeaponsOfMassDestruction) Government.kif 2641-2641 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