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 41393-41393 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41392-41392 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41391-41391 |
|