| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4042-4042 |
過渡政府 是 聯合國在科索沃的臨時行政當局 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4048-4048 |
過渡政府 是 聯合國駐黎巴嫩臨時部隊 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4068-4068 |
過渡政府 是 聯合國在西撒哈拉舉行全民投票的使命 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4088-4088 |
過渡政府 是 聯合國在塞拉利昂的使命 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4101-4101 |
過渡政府 是 聯合國塔吉克斯坦觀察員代表團 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4238-4238 |
過渡政府 是 聯合國東帝汶過渡行政當局 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4258-4258 |
過渡政府 是 聯合國託管理事會 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58862-58862 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58861-58861 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58860-58860 |
|
TransitionalAdministration