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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NuclearNonproliferation
NuclearNonproliferation

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


(subAttribute NuclearNonproliferation ControlWeaponsOfMassDestruction) Government.kif 2602-2602 NuclearNonproliferation は ControlWeaponsOfMassDestruction の subattribute では %n

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


(organizationalObjective AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean NuclearNonproliferation) Government.kif 2740-2740 organizationalObjective AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and NuclearNonproliferation
(subAttribute NuclearDisarmament NuclearNonproliferation) Government.kif 2604-2604 NuclearDisarmament は NuclearNonproliferation の subattribute では %n
(subAttribute NuclearExportControls NuclearNonproliferation) Government.kif 2603-2603 NuclearExportControls は NuclearNonproliferation の subattribute では %n
(termFormat ChineseLanguage NuclearNonproliferation "核不扩散") domainEnglishFormat.kif 41375-41375 NuclearExportControls は NuclearNonproliferation の subattribute では %n
(termFormat ChineseTraditionalLanguage NuclearNonproliferation "核不擴散") domainEnglishFormat.kif 41374-41374 NuclearExportControls は NuclearNonproliferation の subattribute では %n
(termFormat EnglishLanguage NuclearNonproliferation "nuclear nonproliferation") domainEnglishFormat.kif 41373-41373 NuclearExportControls は NuclearNonproliferation の subattribute では %n


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