UnitedNationsMissionForTheReferendumInWesternSahara
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4066-4066 | dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara and le jour 29 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4063-4063 | UnitedNationsMissionForTheReferendumInWesternSahara est une instance de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4067-4067 | organizationalObjective UnitedNationsMissionForTheReferendumInWesternSahara and ObservationAndMonitoring |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4068-4068 | organizationalObjective UnitedNationsMissionForTheReferendumInWesternSahara and TransitionalAdministration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4192-4192 | UnitedNationsMissionForTheReferendumInWesternSahara est une partie de l'organization UnitedNationsSecurityCouncil |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4065-4065 | abbreviation "MINURSO" and UnitedNationsMissionForTheReferendumInWesternSahara |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4064-4064 | conventionalLongName "United Nations Mission for the Referendum in Western Sahara" and UnitedNationsMissionForTheReferendumInWesternSahara |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60200-60200 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60199-60199 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60198-60198 |