|
|
  OrganizationForSecurityAndCooperationInEurope
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3714-3714 | 天 1 and 月 January and 年 1995 是 歐洲安全與合作組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3716-3719 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3709-3709 | 例 歐洲安全與合作組織 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3723-3723 | 常規軍備控制 是 歐洲安全與合作組織 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3721-3721 | 人權問題 是 歐洲安全與合作組織 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3722-3722 | 促進地區穩定 是 歐洲安全與合作組織 的 organizational 目標 |
| appearance as argument number 2 |
|
|
| 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 |
|
|
|