| 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