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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - NuclearTestBanTreaty

appearance as argument number 1

(externalImage NuclearTestBanTreaty " commons/ e/ eb/ President_Kennedy_signs_Nuclear_Test_Ban_Treaty%2C_07_October_1963.jpg") pictureList.kif 6739-6739
(instance NuclearTestBanTreaty Agreement) Geography.kif 3196-3196

appearance as argument number 2

(conventionalLongName "Treaty Banning Nuclear Weapons Tests in the Atmosphere, in Outer Space, and Under Water" NuclearTestBanTreaty) Geography.kif 3198-3199
(conventionalShortName "Nuclear Test Ban" NuclearTestBanTreaty) Geography.kif 3201-3201
(termFormat ChineseLanguage NuclearTestBanTreaty "核试验禁令条约") domainEnglishFormat.kif 41376-41376
(termFormat ChineseTraditionalLanguage NuclearTestBanTreaty "核試驗禁令條約") domainEnglishFormat.kif 41375-41375
(termFormat EnglishLanguage NuclearTestBanTreaty "nuclear test ban treaty") domainEnglishFormat.kif 41374-41374

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