No TPTP formula. May not be expressible in strict first order. |
Government.kif 3675-3675 |
歐洲安全與合作組織 是 "OSCE" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3674-3674 |
歐洲安全與合作組織 是 "Organization for Security and Cooperation in Europe" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3677-3677 |
"CSCE" 是對於 歐洲安全與合作組織 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3676-3676 |
"Conference on Security and Cooperation in Europe" 是對於 歐洲安全與合作組織 的 former name |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42512-42512 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42511-42511 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42510-42510 |
|