InternationalCriminalTribunalForRwanda
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4214-4214 | 8 Day 是 卢旺达国际刑事法庭 的成立 date |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5744-5744 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4210-4210 | 卢旺达国际刑事法庭 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4213-4213 | 战争罪起诉 是 卢旺达国际刑事法庭 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4184-4184 | 卢旺达国际刑事法庭 是 联合国安理会 Organization 的一部分 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4212-4212 | 卢旺达国际刑事法庭 是 "ICTR" 的简称 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4211-4211 | 卢旺达国际刑事法庭 是 "International Criminal Tribunal for Rwanda" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30559-30559 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30558-30558 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30557-30557 |