No TPTP formula. May not be expressible in strict first order. |
Government.kif 3711-3711 |
欧洲安全与合作组织 是 "OSCE" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3710-3710 |
欧洲安全与合作组织 是 "Organization for Security and Cooperation in Europe" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3713-3713 |
"CSCE" 是对于 欧洲安全与合作组织 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3712-3712 |
"Conference on Security and Cooperation in Europe" 是对于 欧洲安全与合作组织 的 former name |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42510-42510 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42509-42509 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42508-42508 |
|