|
|
  UnitedNationsIraqKuwaitObservationMission
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4054-4054 | 9 Day 是 联合国伊拉克科威特观察团 的成立 date |
| 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 | 联合国伊拉克科威特观察团 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4055-4055 | 观察和监测 是 联合国伊拉克科威特观察团 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4190-4190 | 联合国伊拉克科威特观察团 是 联合国安理会 Organization 的一部分 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4053-4053 | 联合国伊拉克科威特观察团 是 "UNIKOM" 的简称 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4052-4052 | 联合国伊拉克科威特观察团 是 "United Nations Iraq-Kuwait Observation Mission" 的 conventional 全名 |
| 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 |
|
|
|
