OrganizationForSecurityAndCooperationInEurope
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3714-3714 | The day 1 is a date established of organization for security and cooperation in europe |
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 | Organization for security and cooperation in europe is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3723-3723 | Conventional arms control is an organizational objective of organization for security and cooperation in europe |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3721-3721 | Human rights issues is an organizational objective of organization for security and cooperation in europe |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3722-3722 | Promote regional stability is an organizational objective of organization for security and cooperation in europe |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3711-3711 | "OSCE" is an abbreviation of organization for security and cooperation in europe |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3710-3710 | Organization for security and cooperation in europe is a conventional long name of "Organization for Security and Cooperation in Europe" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3713-3713 | "CSCE" is a former name for organization for security and cooperation in europe |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3712-3712 | "Conference on Security and Cooperation in Europe" is a former name for organization for security and cooperation in europe |
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 |