UnitedNationsMissionForTheReferendumInWesternSahara(united nations mission for the referendum in western sahara) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4066-4066 | The day 29 is a date established of united nations mission for the referendum in western sahara |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4063-4063 | United nations mission for the referendum in western sahara is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4067-4067 | Observation and monitoring is an organizational objective of united nations mission for the referendum in western sahara |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4068-4068 | Transitional administration is an organizational objective of united nations mission for the referendum in western sahara |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4192-4192 | United nations mission for the referendum in western sahara is a part of the organization united nations security council |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4065-4065 | "MINURSO" is an abbreviation of united nations mission for the referendum in western sahara |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4064-4064 | United nations mission for the referendum in western sahara is a conventional long name of "United Nations Mission for the Referendum in Western Sahara" |
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 |