|
|
  OrganizationForSecurityAndCooperationInEurope
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3714-3714 | dateEstablished OrganizationForSecurityAndCooperationInEurope and o dia 1 |
| 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 | OrganizationForSecurityAndCooperationInEurope e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3723-3723 | organizationalObjective OrganizationForSecurityAndCooperationInEurope and ConventionalArmsControl |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3721-3721 | organizationalObjective OrganizationForSecurityAndCooperationInEurope and HumanRightsIssues |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3722-3722 | organizationalObjective OrganizationForSecurityAndCooperationInEurope and PromoteRegionalStability |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3711-3711 | abbreviation "OSCE" and OrganizationForSecurityAndCooperationInEurope |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3710-3710 | conventionalLongName "Organization for Security and Cooperation in Europe" and OrganizationForSecurityAndCooperationInEurope |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3713-3713 | formerName "CSCE" and OrganizationForSecurityAndCooperationInEurope |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3712-3712 | formerName "Conference on Security and Cooperation in Europe" and OrganizationForSecurityAndCooperationInEurope |
| 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 |
|
|
|