TreeView Knowledge Base Browser - NuclearTestBanTreaty

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6738-6738
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3274-3274	核试验禁令条约是协议的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3276-3277	核试验禁令条约是 "Treaty Banning Nuclear Weapons Tests in the Atmosphere, in Outer Space, and Under Water" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3279-3279	核试验禁令条约是 "Nuclear Test Ban" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41391-41391
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41390-41390
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41389-41389