| UnitedNationsIraqKuwaitObservationMission(united nations iraq kuwait observation mission)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4054-4054 | The day 9 is a date established of united nations iraq kuwait observation mission |
| 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 | United nations iraq kuwait observation mission is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4055-4055 | Observation and monitoring is an organizational objective of united nations iraq kuwait observation mission |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4190-4190 | United nations iraq kuwait observation mission 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 4053-4053 | "UNIKOM" is an abbreviation of united nations iraq kuwait observation mission |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4052-4052 | United nations iraq kuwait observation mission is a conventional long name of "United Nations Iraq-Kuwait Observation Mission" |
| 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 |
|
|
|