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