|
|
  UnitedNationsMissionForTheReferendumInWesternSahara
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4066-4066 | dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara and o dia 29 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4063-4063 | UnitedNationsMissionForTheReferendumInWesternSahara e' uma instancia 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 e' uma parte da organizacao 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 |
|
|
|