|
|
  OrganizationForSecurityAndCooperationInEurope
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3714-3714 | 1 Day 是 欧洲安全与合作组织 的成立 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 | 欧洲安全与合作组织 是 国际组织 的 instance |
| 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 |
|
|
|