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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NuclearTestBanTreaty

Sigma KEE - NuclearTestBanTreaty
NuclearTestBanTreaty

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


(externalImage NuclearTestBanTreaty "http://upload.wikimedia.org/wikipedia/ commons/ e/ eb/ President_Kennedy_signs_Nuclear_Test_Ban_Treaty%2C_07_October_1963.jpg") pictureList.kif 6738-6738
(instance NuclearTestBanTreaty Agreement) Geography.kif 3274-3274 NuclearTestBanTreaty est une instance de Agreement

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


(conventionalLongName "Treaty Banning Nuclear Weapons Tests in the Atmosphere, in Outer Space, and Under Water" NuclearTestBanTreaty) Geography.kif 3276-3277 conventionalLongName "Treaty Banning Nuclear Weapons Tests in the Atmosphere, in Outer Space, and Under Water" and NuclearTestBanTreaty
(conventionalShortName "Nuclear Test Ban" NuclearTestBanTreaty) Geography.kif 3279-3279 conventionalShortName "Nuclear Test Ban" and NuclearTestBanTreaty
(termFormat ChineseLanguage NuclearTestBanTreaty "核试验禁令条约") domainEnglishFormat.kif 41391-41391
(termFormat ChineseTraditionalLanguage NuclearTestBanTreaty "核試驗禁令條約") domainEnglishFormat.kif 41390-41390
(termFormat EnglishLanguage NuclearTestBanTreaty "nuclear test ban treaty") domainEnglishFormat.kif 41389-41389


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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