No TPTP formula. May not be expressible in strict first order. |
Government.kif 3289-3289 |
6人组 是 "G-6" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3288-3288 |
6人组 是 "Group of 6" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3290-3290 |
6人组 是 "Groupe des Six Sur le Desarmement" 的 local 全名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26778-26778 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26777-26777 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26776-26776 |
|