![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4054-4054 | 天 9 and 月 April and 年 1991 是 聯合國伊拉克科威特觀察團 的成立 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 | 例 聯合國伊拉克科威特觀察團 and 國際組織 |
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 | 子組織 聯合國伊拉克科威特觀察團 and 聯合國安理會 |
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 |
![]() |
![]() |