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	NuclearTestBanTreaty e' uma instancia de Agreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3276-3277	conventionalLongName "Treaty Banning Nuclear Weapons Tests in the Atmosphere, in Outer Space, and Under Water" and NuclearTestBanTreaty
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3279-3279	conventionalShortName "Nuclear Test Ban" and NuclearTestBanTreaty
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