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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 NuclearTestBanTreatyAgreementinstance では %n

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 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