UnitedNationsIraqKuwaitObservationMission
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4054-4054 | dateEstablished UnitedNationsIraqKuwaitObservationMission and le jour 9 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5814-5814 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5675-5675 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4051-4051 | UnitedNationsIraqKuwaitObservationMission est une instance de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4055-4055 | organizationalObjective UnitedNationsIraqKuwaitObservationMission and ObservationAndMonitoring |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4190-4190 | UnitedNationsIraqKuwaitObservationMission 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 4053-4053 | abbreviation "UNIKOM" and UnitedNationsIraqKuwaitObservationMission |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4052-4052 | conventionalLongName "United Nations Iraq-Kuwait Observation Mission" and UnitedNationsIraqKuwaitObservationMission |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60188-60188 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60187-60187 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60186-60186 |