Typing 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 | Nuclear test ban treaty is an instance of agreement |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3276-3277 | Nuclear test ban treaty is a conventional long name of "Treaty Banning Nuclear Weapons Tests in the Atmosphere, in Outer Space, and Under Water" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3279-3279 | Nuclear test ban treaty is a conventional short name of "Nuclear Test Ban" |
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 |