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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NuclearNonproliferation
NuclearNonproliferation(nuclear nonproliferation)

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


s__subAttribute(s__NuclearNonproliferation,s__ControlWeaponsOfMassDestruction)

Government.kif 2627-2627 Nuclear nonproliferation is a subattribute of control weapons of mass destruction

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


s__organizationalObjective(s__AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean,s__NuclearNonproliferation)

Government.kif 2760-2760 Nuclear nonproliferation is an organizational objective of agency for the prohibition of nuclear weapons in latin america and the caribbean
s__subAttribute(s__NuclearDisarmament,s__NuclearNonproliferation)

Government.kif 2629-2629 Nuclear disarmament is a subattribute of nuclear nonproliferation
s__subAttribute(s__NuclearExportControls,s__NuclearNonproliferation)

Government.kif 2628-2628 Nuclear export controls is a subattribute of nuclear nonproliferation
s__termFormat(s__ChineseLanguage,s__NuclearNonproliferation,'"核不扩散"')

domainEnglishFormat.kif 41352-41352
s__termFormat(s__ChineseTraditionalLanguage,s__NuclearNonproliferation,'"核不擴散"')

domainEnglishFormat.kif 41351-41351
s__termFormat(s__EnglishLanguage,s__NuclearNonproliferation,'"nuclear nonproliferation"')

domainEnglishFormat.kif 41350-41350


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